Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Write You A Haskell | 2,744 | 4 years ago | 21 | mit | Haskell | |||||
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) | ||||||||||
How To Prove | 203 | 4 months ago | 12 | TeX | ||||||
My Solution to Velleman's book | ||||||||||
Hott Intro | 169 | 4 years ago | cc-by-4.0 | Agda | ||||||
An introductory course to Homotopy Type Theory | ||||||||||
Foundational Knowledge For Programmers | 112 | 3 years ago | ||||||||
List of resources about foundational knowledge for programmers (supposed to last a few decades) | ||||||||||
Agda | 92 | 2 years ago | gpl-3.0 | Agda | ||||||
Agda formalisation of the Introduction to Homotopy Type Theory | ||||||||||
Reed Thesis | 13 | 6 years ago | mpl-2.0 | TeX | ||||||
My undergradate thesis on coinductive types in univalent type theory | ||||||||||
Typonomikon | 11 | 3 months ago | Coq | |||||||
Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich. |