I show how two domain-specific type systems, information flow control and two-party communication protocols, can be implemented in Rust using type-level programming. I explain how interesting properties of these domains can be verified at compile-time. Fi… Read more
Similar
I am currently working on a Rust to .NET compiler, rustc_codegen_clr. To get it to work, I need to implement many Rust features using .NET APIs. One of such features is panicking and unwinding. (more…)
Read more »
There's a handy command line tool, fdupes, for scanning a filesystem for duplicate files and optionally removing them. It's about 6kloc of C. (more…)
Read more »
A better operating system thanks to Rust's combination of safety and performance? (more…)
Read 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…)
Read more »
Wordle in Rust. Contribute to 64bit/wordle-rs development by creating an account on GitHub. (more…)
Read more »