Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 4 Type Theory Formalization Open Source Projects

Open source projects categorized as Type Theory Formalization
Categories > Formalization
Categories > Compilers > Type Theory
Hott Intro ⭐ 169
An introductory course to Homotopy Type Theory
most recent commit 4 years ago
Formal Type Theory ⭐ 72
Formalising Type Theory in a modular way for translations between type theories
most recent commit 6 years ago
Coq Guarded Computational Type Theory ⭐ 17
most recent commit 6 years ago
Two Level ⭐ 5
Two-Level Type Theory
most recent commit 4 years ago
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.