jozefg/learn-tt
A collection of resources for learning type theory and adjacent fields for developers.
Learning & Education
Tutorials & Courses
2.4K
Stars
133
Forks
Aug 3, 2015
Created
Apr 21, 2025
Last Updated
Project Analytics
Stars Growth (1 Month)
+15
+0.6% change
Avg Daily Growth (1 Month)
+0.5
stars per day
Fork/Star Ratio (All Time)
5.5%
Normal engagement
Lifetime Growth
0.6
stars/day over 3.9K days
Stars Over Time
Forks Over Time
Open Issues Over Time
Pull Requests Over Time
Commits Over Time
AI-Generated Tags
type-theory
programming-languages
learning-resources
api-design
documentation
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.