# anvil-verifier/anvil

<https://repo.masters-masters.com/repos/anvil-verifier/anvil>

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

anvil-verifier/anvil, dépôt open source à 246 étoiles sur GitHub. Carte Prototype de RepoMasters. Anvil is an experimental framework to build practical…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [anvil-verifier](https://repo.masters-masters.com/owners/anvil-verifier) |
| Étoiles | 246 |
| Forks | 21 |
| Langage | [Rust](https://repo.masters-masters.com/languages/rust) |
| Licence | Aucune |
| Création | 2022 |
| Sujets | kubernetes, kubernetes-controller, kubernetes-operator, verification, compositionality, formal-verification, liveness, safety, temporal-logic, tla |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [anvil-verifier/anvil](https://github.com/anvil-verifier/anvil) |

## Fiche du dépôt

Anvil is an experimental framework to build practical, formally verified, cluster management controllers.

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## D’autres dépôts Rust

- [expressvpn/lightway · ★ 246 · Rust · Prototype](https://repo.masters-masters.com/repos/expressvpn/lightway)
- [0xdea/blindsight · ★ 246 · Rust · Prototype](https://repo.masters-masters.com/repos/0xdea/blindsight)
- [dmtrKovalenko/bashka · ★ 246 · Rust · Prototype](https://repo.masters-masters.com/repos/dmtrKovalenko/bashka)
- [tomassedovic/roguelike-tutorial · ★ 246 · Rust · Prototype](https://repo.masters-masters.com/repos/tomassedovic/roguelike-tutorial)
- [rahul-thakoor/rust\_gpiozero · ★ 246 · Rust · Prototype](https://repo.masters-masters.com/repos/rahul-thakoor/rust_gpiozero)
- [iammatthias/com · ★ 246 · Rust · Prototype](https://repo.masters-masters.com/repos/iammatthias/com)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.