MySQL Tutorial provides lessons and reference material for learning MySQL.
High Assurance Rust
High Assurance Rust provides learning material about writing high-assurance software in Rust.
About High Assurance Rust
High Assurance Rust is an online book that teaches writing high-assurance software in Rust. It takes a hands-on, project-based approach to systems programming and low-level software security, centered on designing, writing, and validating a fully featured alternative to the ordered map and set implementations in Rust's standard library. The book covers program analysis techniques such as differential fuzzing and deductive verification, discusses assurance tools including rustc, libFuzzer, rr, and qemu, and describes adding CFFI bindings so the library can be called from languages including C and Python.
It is a work in progress; topics may change, and a physical print is not yet available. Pricing is not stated.
Key features
- Project-based Rust book reimplementing an ordered map and set library
- Covers systems programming and low-level software security topics
- Adds CFFI bindings so Rust functions are callable from C and Python
- Teaches differential fuzzing and deductive verification for validating code
- Uses assurance tools including rustc, libFuzzer, rr, and qemu
- Describes portability across operating systems or bare metal
Best for: Rust learners and developers who want a project-based introduction to systems programming, low-level security, and software assurance techniques.
Good for
- Hands-on project builds a fully featured alternative to Rust standard library ordered collections.
- Covers practical software assurance techniques and open-source validation tools.
- Explains portability and CFFI integration for using the library in larger codebases.
Watch out for
- The book is a work in progress, and topics may be subject to change.
- A physical print is not yet available; only a notification signup is offered.
- Some referenced software assurance tools are experimental and under active research.
High Assurance Rust at a glance
- Website
- highassurance.rs
- Category
- Education & Learning › Learn to Code
- Type
- Website
- Pricing
- Not confirmed. Check the site
- Platforms
- Web
- Open source
- Not stated
- Language
- English
- Last checked
- Oct 6, 2026 · Online when checked
- Listed
- Oct 5, 2026
High Assurance Rust alternatives
Tools and sites you could use instead, ranked by how closely they match.
DeepLearningWizard provides open learning materials to make deep learning, deep Bayesian learning, and deep reinforcement learning math and code easier.
Open source
24 alternatives
Guru99 offers tutorials and learning materials across technical subjects.
Scientific Python Lectures is a set of learning materials about Python for scientific computing.
aman.ai publishes course notes and learning materials for Stanford classes in artificial intelligence and deep learning.
TutorialKart collects online courses, learning materials, and interview questions across programming, databases, SAP, and other subjects.
Popular in Learn to Code
Well-known listings from the same topic.
Codelabscodelabs.developers.google.comScratchscratch.mit.eduTelegram Bot APIcore.telegram.org/botsStudent Developer Packeducation.github.com/packHacksplaininghacksplaining.comQB64SourceCodeqb64tutorial.com
High Assurance Rust FAQ
What will I build while reading the book?
A fully featured alternative to the ordered map and set implementations in Rust's standard library, with CFFI bindings for C and Python.
What program analysis techniques are covered?
Differential fuzzing and deductive verification are covered to test properties the compiler cannot prove.
Is the book finished?
No. It is a work in progress, and topics may be subject to change. You can sign up to be notified when it is finished and a physical print is available.
Is something wrong or out of date?
Tell us and an editor will check it.
Own this website?
Claim this listing
Claim the listing and suggest updates yourself. An editor checks every claim first.