1.uwplse / verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
- distributed-systems
- consensus
- +1 more
+5 stars
from 199 · score 1.79
Trending repositories
Ranked by Attention Score: stars gained over the last 90 complete days
11 repositories by Attention Score · Aug 5, 2026 – Nov 2, 2026 (UTC)
2.rocq-community / rocq-tricks
Tricks you wish the Coq manual told you [maintainer=@tchajed]
+4 stars
from 552 · score 1.61
+3 stars
from 77 · score 1.39
4.rocq-community / coq-art
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
- coq
- coq-art
- exercises
- docker-coq-action
+2 stars
from 129 · score 1.10
5.verse-lab / ceramist
Verified hash-based AMQ structures in Coq
- bloom-filter
- probability
- coq-formalization
- coq
- counting-bloom-filter
- quotient-filter
- +1 more
+2 stars
from 125 · score 1.10
6.codyroux / name-the-biggest-number
No description provided by the repository host.
+2 stars
from 67 · score 1.10
7.xavierleroy / cdf-program-logics
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
+2 stars
from 44 · score 1.10
+2 stars
from 20 · score 1.10
9.jscert / jscert
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
+1 stars
from 207 · score 0.69
10.rocq-community / hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
- primitive-recursive-functions
- discrete-mathematics
- +2 more
+1 stars
from 80 · score 0.69
11.querycert / qcert
Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
- coq-proof-assistant
- sql
- +2 more
+1 stars
from 60 · score 0.69