Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
anvil-verifier/anvil has 194 GitHub stars. It gained 0 stars over 2 recorded days in the last 7 days (snapshots through Jul 8, 2026).
It currently ranks #26861 daily, #27400 weekly, #29380 monthly by momentum on Trending Repos; its best-ever rank is #2057.
Trending Repos first recorded it on Jun 10, 2026.
| Date | Stars gained | Total stars | Forks gained |
|---|---|---|---|
| 0 | 184 | 0 | |
| 0 | 184 | 0 |