1.theorem-labs / oss-verify-proofs
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
- riscv
- rocq
+18 stars
from 178 · score 2.94
Trending repositories
Ranked by Attention Score: stars gained over the last 7 complete days
9 repositories by Attention Score · Oct 29, 2026 – Nov 4, 2026 (UTC)
2.math-comp / math-comp
Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
- rocq
- rocq-library
- +2 more
+4 stars
from 706 · score 1.61
3.MetaRocq / metarocq
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
+4 stars
from 564 · score 1.61
4.UniMath / UniMath
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
- foundations
- rocq
- +1 more
+1 stars
from 1,021 · score 0.69
5.rocq-community / fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
- coq-ci
+1 stars
from 252 · score 0.69
6.math-comp / analysis
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
- ssreflect
+1 stars
from 246 · score 0.69
7.uds-psl / coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
+1 stars
from 144 · score 0.69
8.rocq-community / coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
- coq-ci
+1 stars
from 135 · score 0.69
+1 stars
from 127 · score 0.69