anvil
anvil is Anvil is an experimental framework to build practical, formally verified, cluster management controllers. - anvil-verifier/anvil. It is ranked #1527 on the Dev Radar, in Hosting & infra, first seen 1 h ago and shared in 1 post (834 views).
GitHub - anvil-verifier/anvil: Anvil is an experimental framework to build practical, formally verified, cluster management controllers. · GitHub Skip to content Navigation Menu Sign in Appearance settings Search / Sign in Sign up Appearance settings You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} anvil-verifier / anvil Public Notifications You must be signed in to change notification settings Fork 19 Star 221 main Branches Tags Go to…
What people said about anvil on X
おもろい https://github.com/anvil-verifier/anvil
— @mizchi, 1 h ago · 0 likes · see the post
Alternatives to anvil
- boat by ASCII — ascii box is now boat ( )
- glm-5.3-flash-exl3-2x-dgx-sparks — GLM-5.3 Flash EXL3 for 2-4x DGX Sparks. Contribute to MiaAI-Lab/GLM-5.3-Flash-EXL3-2x-DGX-Sparks development by…
- mimo-v2.6-flash-2x-dgx-spark — It's Ready For 2 x DGX Sparks
- red.ht — Fast patches won’t fix your security posture if deployment pipelines can't keep up. Gunnar Hellekson breaks down how…
- ax — 🥳 Excited to start revealing what we've been working on in the last few months. First, we decided to reinvent…
- fandf.co — To learn more, check out the official landing page
anvil in numbers
- Rank on the Dev Radar: #1527 of 2640
- Shared in 1 post by 1 account: @mizchi
- 834 views on those posts
- First seen 1 h ago, last shared 1 h ago
- Pricing seen by Jev: open source
- Market: Hosting & infra
FAQ
What is anvil?
Anvil is an experimental framework to build practical, formally verified, cluster management controllers. - anvil-verifier/anvil It was first shared on X 1 h ago and is ranked #1527 on the Dev Radar.
Is anvil free?
It is open source.
Who shared anvil?
1 account on X, including @mizchi, in 1 post totalling 834 views.
Every post is read and classified by Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 22.8k posts from 5k X accounts over the last 21 days, 2.6k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-23 18:47 UTC. Full method.