From fa97fe104decf954f6a686f5ce738a53fcff0c2c Mon Sep 17 00:00:00 2001 From: Camille TJHOA Date: Mon, 27 May 2024 13:02:14 +0200 Subject: [PATCH] Add High Assurance Rust (fix #224) --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index e09ab8e..be7e5bf 100644 --- a/README.md +++ b/README.md @@ -106,6 +106,7 @@ The main documentation is always the best beginning, so if you haven't read it y * [Comprehensive Rust](https://google.github.io/comprehensive-rust/) - Google * [Rust Atomics and Locks](https://learning.oreilly.com/library/view/-/9781098119430/) - Mara Bos * [Command-Line Rust](https://www.oreilly.com/library/view/command-line-rust/9781098109424/) - Ken Youens-Clark +* [High Assurance Rust: Developing Secure and Robust Software](https://highassurance.rs/) - Tiemoko Ballo ## Videos