About: Redox (operating system)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : wikidata:Q7397, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FRedox_%28operating_system%29

Redox is a Unix-like microkernel operating system written in the programming language Rust, which has a focus on safety, stability, and performance. Redox aims to be secure, usable, and free. Redox is inspired by prior kernels and operating systems, such as SeL4, MINIX, Plan 9, and BSD. It is similar to GNU and BSD, but is written in a memory-safe language. It is free and open-source software distributed under an MIT License. Redox gets its name from the reduction-oxidation reactions in chemistry; one redox reaction is the corrosion of iron, also called rust.

AttributesValues
rdf:type
rdfs:label
  • Redox (système d'exploitation) (fr)
  • Redox (sistem operasi) (in)
  • Redox (sistema operativo) (it)
  • 레독스 OS (ko)
  • Redox (オペレーティングシステム) (ja)
  • Redox (operating system) (en)
  • Redox (ru)
  • Redox (zh)
rdfs:comment
  • Redox est un système d'exploitation libre de type Unix écrit en Rust. Redox a pour objectifs d’être sûr, facile d’utilisation et libre. Il prend son inspiration de précédents noyaux et systèmes d’exploitations, tels que seL4, MINIX, Plan 9 et BSD. C’est un système au fonctionnement proche des écosystèmes GNU et BSD, mais utilisant un langage assurant une sécurité mémoire et utilisant des technologies plus modernes (Cf chapitre conception)[évasif]. (fr)
  • Redox is a Unix-like microkernel operating system written in the programming language Rust, which has a focus on safety, stability, and performance. Redox aims to be secure, usable, and free. Redox is inspired by prior kernels and operating systems, such as SeL4, MINIX, Plan 9, and BSD. It is similar to GNU and BSD, but is written in a memory-safe language. It is free and open-source software distributed under an MIT License. Redox gets its name from the reduction-oxidation reactions in chemistry; one redox reaction is the corrosion of iron, also called rust. (en)
  • Redox adalah sistem operasi mikrokernel mirip unix yang ditulis dengan bahasa pemrograman Rust. Ia berjalan pada perangkat keras komputer. Ia merupakan peranti lunak bebas dengan sumber terbuka berlisensi MIT. Redox dibuat oleh Jeremy Soller dan diterbitkan pertama kali pada 20 April 2015 di GitHub. Semenjak itu Redox terus dikembangkan secara aktif oleh lebih dari 40 kontributor. (in)
  • Redox è un sistema operativo di tipo Unix-like basato su microkernel, scritto in linguaggio di programmazione Rust e con una forte attenzione agli aspetti di sicurezza, stabilità e performance. Ispirato a kernel quali SeL4, MINIX, Plan 9, e BSD, è simile agli ecosistemi GNU e BSD ma scritto in linguaggio "memory-safe". È distribuito sotto licenza MIT ed è perciò un software free ed open-source. (it)
  • RedoxはRustで書かれたUnix系マイクロカーネルオペレーティングシステムである。ライセンスはMIT License。Redoxは既に実ハードウェア上で動作している。 RedoxはJeremy Sollerにより開発が開始され、2015年4月20日にGitHubに最初のコミットがなされた。現在に至るまで40人以上の貢献者によって活発に開発が進められている。 (ja)
  • 레독스 OS(Redox OS)는 러스트 프로그래밍 언어로 작성된 MIT 라이선스의 유닉스 계열 마이크로커널 운영 체제이다. 레독스는 실제 하드웨어에서 동작한다. 레독스는 Jeremy Soller가 개발하였으며 2015년 4월 20일 처음 GitHub에 게시되었다. 그 뒤로 40명 이상의 개발자들의 기여와 함께 개발이 진행 중이다. (ko)
  • Redox是用Rust语言写就的类Unix微内核操作系统。Redox追求可用性、自由和安全性,目标是把Rust语言的创新(安全、并发、实用)带入到现代的微内核和整套的应用程序。 (zh)
  • Redox — Unix-подобная микроядерная операционная система, написанная на языке программирования Rust с фокусом на безопасность и высокую производительность. При разработке использовался опыт таких ядер и операционных систем, как SeL4, Minix, Plan 9 и BSD. В качестве цели ставится создание экосистемы, похожей на GNU или BSD, но создаваемой на безопасном для памяти языке и с использованием актуальных для 2010-х годов технологий. Распространяется по лицензии MIT. Изначально создана , впервые опубликована 20 апреля 2015 года на GitHub. В разработке участвуют более 40 разработчиков. (ru)
foaf:name
  • Redox (en)
foaf:homepage
name
  • Redox (en)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/Redox_logo_2015.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Redox_running_Orbital.png
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
source model
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 54 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software