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,669 MIT 73 16 (1 issue needs help) 9 Updated Jan 9, 2022
libc Public
Raw bindings to platform APIs for Rust

Rust 0 699 0 0 Updated Jan 6, 2022
object Public
A unified interface for reading and writing object file formats

Rust 0 65 0 0 Updated Nov 24, 2021
region-rs Public
A cross-platform virtual memory API written in Rust

Rust 0 MIT 14 0 0 Updated Nov 24, 2021
rust-crc32fast Public
Fast, SIMD-accelerated CRC32 (IEEE) checksum computation in Rust

Rust 0 17 0 0 Updated Nov 22, 2021
wasmtime Public
Standalone JIT-style runtime for WebAssembly, using Cranelift

Rust 0 Apache-2.0 595 0 0 Updated Nov 19, 2021
indexmap Public
A hash table with consistent order and fast iteration; access items by key or sequence index

Rust 0 97 0 0 Updated Nov 18, 2021
rust-more-asserts Public
Small library providing additional assert and debug_assert macros for rust code.

Rust 0 CC0-1.0 4 0 0 Updated Nov 17, 2021
rust-fatfs Public
A FAT filesystem library implemented in Rust.

Rust 1 MIT 18 0 0 Updated Oct 20, 2021
wasm-tools Public
Low level tooling for WebAssembly in Rust

Rust 0 Apache-2.0 61 0 0 Updated Oct 14, 2021

View all repositories

Theseus OS

Pinned

Repositories

People

Top languages

Most used topics