tnballo/high-assurance-rust

This is stars and forks stats for /tnballo/high-assurance-rust repository. As of 29 Apr, 2024 this repository has 1194 stars and 29 forks.

High Assurance Rust Click here to read now: https://highassurance.rs/ What does this book aim to do? Provide an accessible but principled introduction to developing secure and robust systems. At the overlap of "state-of-the-art" and "near-term practical": mostly production-grade tools and techniques, but also some cutting-edge research projects. All open-source. Help experienced developers both learn a new language and delve deeper into fundamental Computer Science and Computer Architecture topics. How...