theseus-os / Theseus
Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
โ2,914Updated last month
Related projects โ
Alternatives and complementary repositories for Theseus
- An interpreter for Rust's mid-level intermediate representationโ4,616Updated this week
- Migrate C code to Rustโ4,019Updated this week
- Hermit for Rust.โ1,691Updated this week
- GCC Front-End for Rustโ2,450Updated last week
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3โ4,775Updated last week
- Interactively Visualizing Ownership and Borrowing for Rustโ2,713Updated 9 months ago
- Rhai - An embedded scripting language for Rust.โ3,838Updated 2 weeks ago
- Tools for concurrent programming in Rustโ7,462Updated last week
- Safe interop between Rust and C++โ5,898Updated this week
- The Elegant Parserโ4,662Updated last month
- A small and fast async runtime for Rustโ3,748Updated 2 weeks ago
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features suchโฆโ1,172Updated 2 months ago
- A container runtime written in Rustโ6,317Updated this week
- a debugger for async rust!โ3,622Updated last week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.โ3,023Updated this week
- Rayon: A data parallelism library for Rustโ11,077Updated 3 weeks ago
- Async version of the Rust standard libraryโ3,968Updated 2 months ago
- A new operating system kernel with Linux binary compatibility written in Rust.โ3,355Updated last week
- Write expressive, high-performance parsers with ease.โ3,628Updated this week
- Statistics-driven benchmarking library for Rustโ4,623Updated last week
- Automatically generates Rust FFI bindings to C (and some C++) libraries.โ4,470Updated last week
- Rust parser combinator frameworkโ9,488Updated last month
- The Rust Performance Bookโ2,295Updated 5 months ago
- An experimental pure-Rust x86 bootloaderโ1,390Updated last week
- LR(1) parser generator for Rustโ3,065Updated this week
- the champagne of beta embedded databasesโ8,175Updated last month
- Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utiliโฆโ5,854Updated this week
- Async-friendly QUIC implementation in Rustโ3,853Updated this week
- The Dark Arts of Advanced and Unsafe Rust Programmingโ1,863Updated this week
- Application level tracing for Rust.โ5,514Updated this week