# AeneasVerif/aeneas

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

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

AeneasVerif/aeneas, dépôt open source à 1 152 étoiles sur GitHub. Carte Bêta de RepoMasters. A verification toolchain for Rust programs Langage : OCaml.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [AeneasVerif](https://repo.masters-masters.com/owners/AeneasVerif) |
| Étoiles | 1 152 |
| Forks | 143 |
| Langage | [OCaml](https://repo.masters-masters.com/languages/ocaml) |
| Licence | Apache-2.0 |
| Création | 2021 |
| Sujets | compiler, coq, deductive-reasoning, formal-methods, formal-verification, fstar, hol4, lean, ocaml, proofs |
| Rang | [Bêta (700 à 1 999 ★)](https://repo.masters-masters.com/ranks/box_office) |
| Voir sur GitHub | [AeneasVerif/aeneas](https://github.com/AeneasVerif/aeneas) |

## Fiche du dépôt

A verification toolchain for Rust programs

Rang des dépôts qui ont 700 à 1 999 ★ sur GitHub. Probabilité publiée par carte tirée : 6 %. Rareté : Rare.

## Autres dépôts de AeneasVerif

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

## D’autres dépôts OCaml

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

---
Données : GitHub · Illustration : image publique du projet, pixelisée par RepoMasters.