Agda

Agda formalisation of the Introduction to Homotopy Type Theory
Alternatives To Agda
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Write You A Haskell2,744
4 years ago21mitHaskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
How To Prove203
4 months ago12TeX
My Solution to Velleman's book
Hott Intro169
4 years agocc-by-4.0Agda
An introductory course to Homotopy Type Theory
Foundational Knowledge For Programmers112
3 years ago
List of resources about foundational knowledge for programmers (supposed to last a few decades)
Agda92
2 years agogpl-3.0Agda
Agda formalisation of the Introduction to Homotopy Type Theory
Reed Thesis13
6 years agompl-2.0TeX
My undergradate thesis on coinductive types in univalent type theory
Typonomikon11
3 months agoCoq
Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
Alternatives To Agda
Select To Compare


Alternative Project Comparisons
Popular Type Theory Projects
Popular Book Projects
Popular Compilers Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Book
Mathematics
Type Theory