# tnballo/high-assurance-rust

A free book about developing secure and robust systems software.

Repository: https://github.com/tnballo/high-assurance-rust
Canonical: https://ross.abutalabs.com/products/high-assurance-rust
Homepage: https://highassurance.rs/
Language: Rust
License Family: other
Topics: rust, security, reliability, systems-programming, book
Last push: 2025-07-06T23:57:44+00:00

## Health v2 (maintenance only)
Score: 46/100 (v2, computed 2026-09-03T02:20:16.233290+00:00)
- activity 30, release rhythm 35, longevity 100
- inputs: {"age_days": 1622, "days_push": 423, "days_rel": null, "gap_med": null, "n_releases_24m": 0}
- flags: no_releases, no_license
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 1413, forks 46 (observed 2026-08-28T04:04:39.158188+00:00)

## What it is
A free online book, 'High Assurance Rust', teaching secure and robust systems software development in Rust through a project-based approach. Readers build a hardened, safe alternative to Rust's standard ordered map/set while learning fuzzing, program analysis, and low-level security concepts.

## Use cases
- learn rust for systems programming
- write memory-safe low-level code
- learn fuzzing and program analysis techniques
- understand secure software development in rust
- re-implement rust standard library data structures
- learn about software assurance and verification
- build c ffi bindings for rust libraries

## When to choose
- you're an experienced developer wanting to learn rust deeply
- you need to write security-critical systems software
- you want a free, hands-on introduction to low-level software security
- you're interested in memory safety, fuzzing, and formal verification

## When to avoid
- you're a complete beginner to programming
- you need a quick rust syntax reference rather than deep concepts
- you want a general-purpose rust tutorial without a security focus

## Facets
- artifact type: learning-resource
- maturity: active
- function: security, testing, fuzzing, developer-tools
- domain: security, programming-languages, tutorials, developer-tools
- platform: cross-platform, rust
- tags: rust, book, systems-programming, memory-safety, fuzzing, verification, data-structures, free-book

## Member repositories
- tnballo/high-assurance-rust (main) score 46

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:04:39.158188+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T04:38:18.056923+00:00, confidence not recorded.
  - readme: https://github.com/tnballo/high-assurance-rust (fetched 2026-08-28T04:04:39.158188+00:00, sha 63e58e8e4034)
  - homepage: https://highassurance.rs/ (fetched 2026-08-29T11:51:14.315887+00:00, sha e99a27009c96)
  - site_page: https://highassurance.rs/faq.html (fetched 2026-08-29T11:51:14.325287+00:00, sha f2e1956d6fe2)
- Data as of 2026-08-30T08:39:29.467469+00:00.