PrototypeCommune
anvil-verifier/anvil
Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
- Propriétaire
- anvil-verifier (organisation)
- Étoiles
- Étoiles : 244
- Forks
- Forks : 21
- Langage
- Rust
- Licence
- Aucune
- Création
- 2022
- Sujets
- kuberneteskubernetes-controllerkubernetes-operatorverificationcompositionalityformal-verificationlivenesssafetytemporal-logictla
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Rust
Tous les dépôts Rust- leegeunhyeok/crabyÉtoiles : 244RustPrototype
- bitloops/bitloopsÉtoiles : 244RustPrototype
- friendlymatthew/gabagoolÉtoiles : 244RustPrototype
- fflorent/nom_locateÉtoiles : 244RustPrototype
- tcr/edit-textÉtoiles : 244RustPrototype
- darwinia-network/darwiniaÉtoiles : 244RustPrototype