629
Stars
59
Forks
64
Watchers
Rocq Prover
Language
bsd-2-clause
License
100
SrcLog Score
Growth over time
14 data points · 2021-07-01 → 2026-11-01
Stars
Forks
Watchers
💬
How do you feel about this project?
Ask AI about verdi
Question copied to clipboardWhat is the uwplse/verdi GitHub project? Description: "A framework for formally verifying distributed systems implementations in Coq". Written in Rocq Prover. Explain what it does, its main use cases, key features, and who would benefit from using it.
Question is copied to clipboard — paste it after the AI opens.
🏆 Show off this rank
Add it to a GitHub README or profile — the card updates as the ranking changes:
How to clone verdi
Clone via HTTPS
git clone https://github.com/uwplse/verdi.git
Clone via SSH
[email protected]:uwplse/verdi.git
Download ZIP
Download master.zipFound an issue?
Report bugs or request features on the verdi issue tracker:
Open GitHub Issues