1.rocq-community / rocq-tricks
Tricks you wish the Coq manual told you [maintainer=@tchajed]
+1 stars
from 555 · score 0.69
Trending repositories
Ranked by Attention Score: stars gained over the last 7 complete days
4 repositories by Attention Score · Oct 27, 2026 – Nov 2, 2026 (UTC)
2.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
3.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
4.lthms / FreeSpec
A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
+1 stars
from 53 · score 0.69