hacl-star/hacl-star
HACL*, a formally verified cryptographic library written in F* observed · 2026-08-28
Health v2 · maintenance only
62/100
- Activity 86
- Release rhythm 8
- Longevity 100
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-02. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 3723
- days_rel: n/a
- days_push: 87
- n_releases_24m: 0
Adoption not part of the score
1837 stars · 193 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
HACL* is a formally verified cryptographic library written in F* (Low*) and compiled to efficient standalone C code, covering algorithms like Curve25519, Ed25519, AES-GCM, ChaCha20, Poly1305, SHA-2/3, HMAC, and HKDF. It includes ValeCrypt for verified assembly implementations and EverCrypt, an agile provider that multiplexes the fastest verified implementation per platform.
Use cases
- verify cryptographic primitives for memory safety and correctness
- integrate high-assurance crypto into a C project
- get timing side-channel resistant implementations of Ed25519 or AES-GCM
- support NaCl API or TLS 1.3 ciphersuites with verified code
- compile verified crypto to WebAssembly
- automatically pick the fastest verified crypto implementation per CPU
When to choose
- you need formally proven memory safety, functional correctness, and secret independence
- you want high-performance verified C code for modern primitives like Curve25519 or ChaCha20-Poly1305
- your project can tolerate a research-oriented codebase
When to avoid
- you need production-ready packages, bindings, and documentation - use cryspen/hacl-packages instead
- you need a broad algorithm catalog beyond the supported modern primitives
- you are not comfortable tracking F* master and a research codebase
Facets
library · maturity active
cryptography security security developer-tools cross-platform c cpp wasm formal-verification fstar everest nacl tls-1-3 side-channel-resistance research
1 source
- readme: https://github.com/hacl-star/hacl-star · fetched 2026-08-28 · beffdd0a6d19
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| hacl-star/hacl-star | main | 62 |
For agents
markdown · JSON · MCP: product_card(name="hacl-star/hacl-star")
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem