Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 7 Book Type Theory Open Source Projects

Open source projects categorized as Book Type Theory
Categories > Compilers > Type Theory
Write You A Haskell ⭐ 2,744
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
most recent commit 4 years ago
How To Prove ⭐ 203
My Solution to Velleman's book
most recent commit 5 months ago
Hott Intro ⭐ 169
An introductory course to Homotopy Type Theory
most recent commit 4 years ago
Foundational Knowledge For Programmers ⭐ 112
List of resources about foundational knowledge for programmers (supposed to last a few decades)
most recent commit 3 years ago
Agda ⭐ 92
Agda formalisation of the Introduction to Homotopy Type Theory
most recent commit 2 years ago
Reed Thesis ⭐ 13
My undergradate thesis on coinductive types in univalent type theory
most recent commit 6 years ago
Typonomikon ⭐ 11
Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
most recent commit 4 months ago
Popular Learning Resources Categories
Tutorials
Paper
Book
Programming
Course
Article
Education
Hack
Cookbook
University
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.