1.HoTT / Coq-HoTT
A Coq library for Homotopy Type Theory
- type-theory
- homotopy-type-theory
- univalent-foundations
+38 stars
from 1,369 · score 3.66
Trending repositories
Ranked by Attention Score: stars gained over the last 180 complete days
10 repositories by Attention Score · May 10, 2026 – Nov 5, 2026 (UTC)
2.math-comp / math-comp
Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
- rocq
- rocq-library
- +2 more
+31 stars
from 679 · score 3.47
3.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
+21 stars
from 1,001 · score 3.09
4.ott-lang / ott
The Ott tool for writing definitions of programming languages and calculi
+21 stars
from 408 · score 3.09
5.rocq-community / fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
- coq-ci
+17 stars
from 237 · score 2.89
+9 stars
from 119 · score 2.30
7.jscoq / jscoq
A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
+8 stars
from 542 · score 2.20
8.math-comp / analysis
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
- ssreflect
+8 stars
from 239 · score 2.20
9.jscert / jscert
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
+2 stars
from 206 · score 1.10
10.rocq-community / coq-100-theorems
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
+1 stars
from 61 · score 0.69