HoTT/book
This is a textbook on informal homotopy type theory, not a developer tool for vibe coders.
TeX
Learning & Education
Books & Guides
2.1K
Stars
376
Forks
Nov 6, 2012
Created
Nov 23, 2025
Last Updated
Project Analytics
Stars Growth (1 Month)
+4
+0.2% change
Avg Daily Growth (1 Month)
+0.1
stars per day
Fork/Star Ratio (All Time)
17.6%
Good engagement
Lifetime Growth
0.4
stars/day over 4.9K days
Stars Over Time
Forks Over Time
Open Issues Over Time
Pull Requests Over Time
Commits Over Time
AI-Generated Tags
type-theory
mathematics
textbook
homotopy
educational
Similar Projects
practical-tutorials/project-based-learning
Practical tutorials for project-based learning in various programming languages
260.3K
ossu/computer-science
Free self-taught computer science curriculum
202.1K
HTML
trekhleb/javascript-algorithms
JavaScript algorithms and data structures with explanations
195.7K
JavaScript
getify/You-Dont-Know-JS
JavaScript book series for deep language understanding
184.5K
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.