anvil-verifier/anvil
Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
0Active
On the radar — signal detected
Stars
154
Forks
11
Contributors
17
Language
Rust
Score updated Mar 26, 2026
// SUBSCRIBE
The repos that moved this week, why they matter, and what to watch next. One email. No noise.