# creusot-rs/creusot

<https://repo.masters-masters.com/repos/creusot-rs/creusot>

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

creusot-rs/creusot, dépôt open source à 1 954 étoiles sur GitHub. Carte Bêta de RepoMasters. Creusot helps you prove your Rust code is correct. Langage : Rust.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [creusot-rs](https://repo.masters-masters.com/owners/creusot-rs) |
| Étoiles | 1 954 |
| Forks | 101 |
| Langage | [Rust](https://repo.masters-masters.com/languages/rust) |
| Licence | LGPL-2.1 |
| Création | 2021 |
| Sujets | rust-lang, verification, proof, formal-verification, deductive-reasoning, why3, rust, formal-methods, contracts |
| Rang | [Bêta (700 à 1 999 ★)](https://repo.masters-masters.com/ranks/box_office) |
| Voir sur GitHub | [creusot-rs/creusot](https://github.com/creusot-rs/creusot) |

## Fiche du dépôt

Creusot helps you prove your Rust code is correct.

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

## D’autres dépôts Rust

- [teamtype/teamtype · ★ 1 957 · Rust · Bêta](https://repo.masters-masters.com/repos/teamtype/teamtype)
- [ilai-deutel/kibi · ★ 1 956 · Rust · Bêta](https://repo.masters-masters.com/repos/ilai-deutel/kibi)
- [nullpo-head/wsl-distrod · ★ 1 954 · Rust · Bêta](https://repo.masters-masters.com/repos/nullpo-head/wsl-distrod)
- [evilsocket/legba · ★ 1 953 · Rust · Bêta](https://repo.masters-masters.com/repos/evilsocket/legba)
- [lgarron/folderify · ★ 1 949 · Rust · Bêta](https://repo.masters-masters.com/repos/lgarron/folderify)
- [valeriansaliou/vigil · ★ 1 949 · Rust · Bêta](https://repo.masters-masters.com/repos/valeriansaliou/vigil)

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