# AeneasVerif/aeneas

<https://repo.masters-masters.com/en/repos/AeneasVerif/aeneas>

[Home](https://repo.masters-masters.com/en) › [AeneasVerif](https://repo.masters-masters.com/en/owners/AeneasVerif) › [aeneas](https://repo.masters-masters.com/en/repos/AeneasVerif/aeneas)

AeneasVerif/aeneas has 1,152 stars on GitHub. Its RepoMasters card: Beta tier. A verification toolchain for Rust programs Language: OCaml.

| Field | Value |
| --- | --- |
| Owner | [AeneasVerif](https://repo.masters-masters.com/en/owners/AeneasVerif) |
| Stars | 1,152 |
| Forks | 143 |
| Language | [OCaml](https://repo.masters-masters.com/en/languages/ocaml) |
| License | Apache-2.0 |
| Created | 2021 |
| Topics | compiler, coq, deductive-reasoning, formal-methods, formal-verification, fstar, hol4, lean, ocaml, proofs |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [AeneasVerif/aeneas](https://github.com/AeneasVerif/aeneas) |

## Repository

A verification toolchain for Rust programs

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## More repos by AeneasVerif

- [AeneasVerif/charon · ★ 473 · Rust · Alpha](https://repo.masters-masters.com/en/repos/AeneasVerif/charon)
- [AeneasVerif/eurydice · ★ 437 · C · Alpha](https://repo.masters-masters.com/en/repos/AeneasVerif/eurydice)

## Nearby in OCaml

- [gfngfn/SATySFi · ★ 1,248 · OCaml · Beta](https://repo.masters-masters.com/en/repos/gfngfn/SATySFi)
- [moby/vpnkit · ★ 1,210 · OCaml · Beta](https://repo.masters-masters.com/en/repos/moby/vpnkit)
- [janestreet/hardcaml · ★ 1,166 · OCaml · Beta](https://repo.masters-masters.com/en/repos/janestreet/hardcaml)
- [ocsigen/js\_of\_ocaml · ★ 1,138 · OCaml · Beta](https://repo.masters-masters.com/en/repos/ocsigen/js_of_ocaml)
- [moby/datakit · ★ 1,107 · OCaml · Beta](https://repo.masters-masters.com/en/repos/moby/datakit)
- [leostera/caramel · ★ 1,106 · OCaml · Beta](https://repo.masters-masters.com/en/repos/leostera/caramel)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.