Theseus OS

Theseus Public
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧, novel OS structure, and state management. It strives to close the semantic gap between compiler and hardware in order to maximally leverage the power of language safety, and thus shift OS responsibilities (resource management) into the compiler.

Rust 1,556 MIT 60 17 (1 issue needs help) 7 Updated Nov 2, 2021
rust-fatfs Public
A FAT filesystem library implemented in Rust.

Rust 1 MIT 15 0 0 Updated Oct 20, 2021
wasmtime Public
Standalone JIT-style runtime for WebAssembly, using Cranelift

Rust 0 Apache-2.0 551 0 0 Updated Oct 15, 2021
rust-crc32fast Public
Fast, SIMD-accelerated CRC32 (IEEE) checksum computation in Rust

Rust 0 14 0 0 Updated Oct 15, 2021
object Public
A unified interface for reading and writing object file formats

Rust 0 61 0 0 Updated Oct 15, 2021
wasm-tools Public
Low level tooling for WebAssembly in Rust

Rust 0 Apache-2.0 58 0 0 Updated Oct 14, 2021
irq_safety Public
Interrupt-safe locking structures, like Mutex and RwLock, for Rust no_std environments.

Rust 4 2 0 0 Updated Aug 12, 2021
mpmc Public
copy-pasted from old rust stdlib

Rust 0 2 0 0 Updated Jul 15, 2021
x86_64 Public
Library to program x86_64 hardware.

Rust 0 MIT 90 0 0 Updated Jul 15, 2021
downcast-rs Public archive

Rust 0 7 0 0 Updated Jul 14, 2021

Pinned