Empowering everyone to build reliable and efficient software.

A Python Interpreter written in Rust

📚 Learn to write an embedded OS in Rust 🦀

EncFS: an Encrypted Filesystem for FUSE.

An experimental pure-Rust x86 bootloader

Research prototype tool for modular formal verification of C, Rust and Java programs

A simple induction and BMC engine.

FerrOS is a school project aiming at building an minimalist micro-kernel OS. We chose to write it using the Rust language. We started by following Philipp Oppermann's own project (https://os.phil-o…