From 1b664b5ea295804464a7b361d40f385bed39f7ad Mon Sep 17 00:00:00 2001
From: inoovador <152461817+inoovador@users.noreply.github.com>
Date: Mon, 30 Mar 2026 12:24:48 -0500
Subject: [PATCH] Add High Assurance Rust to Rust section (#13173)

---
 books/free-programming-books-langs.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/books/free-programming-books-langs.md b/books/free-programming-books-langs.md
index 1b3920dbf..32c4ea76f 100644
--- a/books/free-programming-books-langs.md
+++ b/books/free-programming-books-langs.md
@@ -2373,6 +2373,7 @@ Books on general-purpose programming that don't focus on a specific language are
 * [Effective Rust](https://www.lurklurk.org/effective-rust) - David Drysdale (HTML, PDF)
 * [From JavaScript to Rust ebook](https://github.com/wasmflow/node-to-rust/raw/HEAD/from-javascript-to-rust.pdf) - Jarrod Overson (PDF)
 * [Guide to Rustc Development](https://rustc-dev-guide.rust-lang.org) (HTML)
+* [High Assurance Rust](https://highassurance.rs) - Tiemoko Ballo (HTML) (CC BY-NC-ND)
 * [Learn Rust in Y minutes](https://learnxinyminutes.com/docs/rust/) (HTML)
 * [Learn Rust With Entirely Too Many Linked Lists](https://rust-unofficial.github.io/too-many-lists) - Alexis Beingessner (HTML)
 * [Learning Rust Ebook](https://riptutorial.com/Download/rust.pdf) - StackOverflow Contributors (PDF)