1.rocq-community / rocq-tricks
Tricks you wish the Coq manual told you [maintainer=@tchajed]
+2 stars
from 554 · score 1.10
Trending repositories
Ranked by Attention Score: stars gained over the last 30 complete days
7 repositories by Attention Score · Oct 5, 2026 – Nov 3, 2026 (UTC)
+2 stars
from 79 · score 1.10
3.jscert / jscert
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
+1 stars
from 207 · score 0.69
4.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
+1 stars
from 203 · score 0.69
5.rocq-community / coq-art
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
- coq
- coq-art
- exercises
- docker-coq-action
+1 stars
from 130 · score 0.69
6.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
7.xavierleroy / cdf-program-logics
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
+1 stars
from 45 · score 0.69