Pinned Repositories
blog
hecs
A handy ECS
kani
Kani Rust Verifier
ouz-a.github.io
pax
User interface engine for native apps & WebAssembly sites
rust
Empowering everyone to build reliable and efficient software.
rustc-dev-guide
A guide to how rustc works and how to contribute to it.
stable_mir_driver
rust
Empowering everyone to build reliable and efficient software.
ouz-a's Repositories
ouz-a/ouz-a.github.io
ouz-a/blog
ouz-a/hecs
A handy ECS
ouz-a/kani
Kani Rust Verifier
ouz-a/pax
User interface engine for native apps & WebAssembly sites
ouz-a/rust
Empowering everyone to build reliable and efficient software.
ouz-a/rustc-dev-guide
A guide to how rustc works and how to contribute to it.
ouz-a/stable_mir_driver
ouz-a/Theseus
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 to maximally leverage the power of language safety, and thus shift OS responsibilities like resource management into the compiler.