HoTT/Coq-HoTT
A Coq library for Homotopy Type Theory, a foundational framework for mathematics and programming
Rocq Prover
Web Development
Backend Frameworks
NOASSERTION
1.4K
Stars
201
Forks
Mar 26, 2011
Created
Feb 18, 2026
Last Updated
Project Analytics
Stars Growth (1 Month)
+8
+0.6% change
Avg Daily Growth (1 Month)
+0.3
stars per day
Fork/Star Ratio (All Time)
14.6%
Good engagement
Lifetime Growth
0.3
stars/day over 5.5K days
Stars Over Time
Forks Over Time
Open Issues Over Time
Pull Requests Over Time
Commits Over Time
AI-Generated Tags
homotopy-type-theory
type-theory
univalent-foundations
math
programming-foundations
Similar Projects
awesome-selfhosted/awesome-selfhosted
Awesome-Selfhosted repository for self-hosted services and applications
277.4K
vuejs/vue
Vue 2 repository (now deprecated) - a progressive JavaScript framework for building UIs
210.0K
TypeScript
twbs/bootstrap
Popular frontend framework for responsive web design
174.0K
MDX
vercel/next.js
Next.js is a React framework for building server-rendered, static, and hybrid web apps with JavaScript.
138.2K
JavaScript
Comments (0)
Sign in to leave a comment or vote
Sign InNo comments yet. Be the first to comment!
Stay in the loop
Get weekly updates on trending AI coding tools and projects.