Lobsters
Linking pages
- GitHub - steshaw/plt: Programming Language Theory λΠ https://github.com/steshaw/plt 35 comments
- GitHub - jnv/lists: The definitive list of lists (of lists) curated on GitHub and elsewhere https://github.com/jnv/lists 24 comments
- Barebones lambda cube in OCaml · GitHub https://gist.github.com/Hirrolot/89c60f821270059a09c14b940b454fd6 2 comments
Linked pages
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- Certified Programming with Dependent Types http://adam.chlipala.net/cpdt/ 117 comments
- The HoTT Book | Homotopy Type Theory http://homotopytypetheory.org/book/ 74 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 61 comments
- Software Foundations http://www.cis.upenn.edu/~bcpierce/sf/current/index.html 58 comments
- Lean http://leanprover.github.io 46 comments
- Book Details - MIT Press https://mitpress.mit.edu/books/types-and-programming-languages 28 comments
- Compose Conference - Type Providers and Error Reflection in Idris - YouTube https://www.youtube.com/watch?v=dP2imvL92sY 19 comments
- https://hal.inria.fr/hal-01094195/document 19 comments
- http://www.math.jhu.edu/~eriehl/context.pdf 17 comments
- https://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf 12 comments
- Category Theory in Context | The n-Category Café https://golem.ph.utexas.edu/category/2016/11/category_theory_in_context.html 12 comments
- http://www.paultaylor.eu/stable/prot.pdf 8 comments
- Advanced Topics in Types and Programming Languages http://www.cis.upenn.edu/~bcpierce/attapl/ 8 comments
- Oregon Programming Languages Summer School https://www.cs.uoregon.edu/research/summerschool/summer15/curriculum.html 6 comments
- https://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/HoTT-UF-Agda.html 6 comments
- Oregon Programming Languages Summer School https://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html 4 comments
- Practical Foundations of Mathematics http://www.paultaylor.eu/~pt/prafm/ 4 comments
- Logic and Proof — Logic and Proof 3.18.4 documentation http://leanprover.github.io/logic_and_proof/index.html 2 comments
- Oregon Programming Languages Summer School https://www.cs.uoregon.edu/research/summerschool/summer14/curriculum.html 2 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - jozefg/learn-tt: A collection of resources for learning type theory and type theory adjacent fields.
See how to search.