1.math-comp / math-comp
Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
- rocq
- rocq-library
- +2 more
+17 stars
from 693 · score 2.89
Trending repositories
Ranked by Attention Score: stars gained over the last 90 complete days
10 repositories by Attention Score · Aug 8, 2026 – Nov 5, 2026 (UTC)
2.mit-plv / fiat-crypto
Cryptographic Primitive Code Generation by Fiat
+15 stars
from 836 · score 2.77
3.HoTT / Coq-HoTT
A Coq library for Homotopy Type Theory
- type-theory
- homotopy-type-theory
- univalent-foundations
+12 stars
from 1,395 · score 2.56
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
+9 stars
from 1,013 · score 2.30
5.rocq-community / fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
- coq-ci
+8 stars
from 246 · score 2.20
6.QuickChick / QuickChick
Randomized Property-Based Testing Plugin for Coq
+7 stars
from 290 · score 2.08
+5 stars
from 123 · score 1.79
8.math-comp / analysis
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
- ssreflect
+3 stars
from 244 · score 1.39
9.adampetcher / fcf
Foundational Cryptography Framework for machine-checked proofs of cryptography.
+2 stars
from 56 · score 1.10
+1 stars
from 57 · score 0.69