This book describes a mental model for unsafe in Rust. (more…)

Code examples, data structures, and links from my book, Rust Atomics and Locks. - GitHub - m-ou-se/rust-atomics-and-locks: Code examples, data structures, and links from my book, Rust Atomics and L... (more…)

A curated list of awesome rust resources regarding automated or semi-automated formalization efforts in any area, including classical mathematics, constructive mathematics formal algorithms, and pr... (more…)

RROS is a dual-kernel OS for satellites or other scenarios that need both real-time and general-purpose abilities. RROS = RTOS (Rust) + Linux (C). - GitHub - BUPT-OS/RROS: RROS is a dual-kernel OS... (more…)

An IBM PC/XT emulator written in Rust. Contribute to dbalsom/martypc development by creating an account on GitHub. (more…)