GitHub repository: tnballo/high-assurance-rust
Primary language: Rust
Description: A free book about developing secure and robust systems software.