BetaRare
AeneasVerif/aeneas
A verification toolchain for Rust programs
- Owner
- AeneasVerif (organization)
- Stars
- Stars: 1,146
- Forks
- Forks: 142
- Language
- OCaml
- License
- Apache-2.0
- Created
- 2021
- Topics
- compilercoqdeductive-reasoningformal-methodsformal-verificationfstarhol4leanocamlproofs
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by AeneasVerif
All 3 repos by AeneasVerif- AeneasVerif/charonStars: 472RustAlpha
- AeneasVerif/eurydiceStars: 437CAlpha
Nearby in OCaml
All OCaml repos- gfngfn/SATySFiStars: 1,248OCamlBeta
- moby/vpnkitStars: 1,210OCamlBeta
- janestreet/hardcamlStars: 1,165OCamlBeta
- ocsigen/js_of_ocamlStars: 1,139OCamlBeta
- moby/datakitStars: 1,107OCamlBeta
- leostera/caramelStars: 1,106OCamlBeta