Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 16 Coq Type Theory Open Source Projects

Open source projects categorized as Coq Type Theory
Categories > Compilers > Type Theory
Learn Tt ⭐ 1,307
A collection of resources for learning type theory and type theory adjacent fields.
most recent commit 4 years ago
Proofs ⭐ 278
My personal repository of formally verified mathematics.
most recent commit 3 months ago
Hott Intro ⭐ 169
An introductory course to Homotopy Type Theory
most recent commit 4 years ago
Ttlite ⭐ 108
A SuperCompiler for Martin-Löf's Type Theory
most recent commit 2 years ago
Typetheory ⭐ 106
The mathematical study of type theories, in univalent foundations
most recent commit 8 months ago
Homotopy ⭐ 76
Homotopy theory in Coq.
most recent commit 13 years ago
Formal Type Theory ⭐ 72
Formalising Type Theory in a modular way for translations between type theories
most recent commit 6 years ago
Mlang ⭐ 60
Towards changing things and see if it proofs
most recent commit 3 years ago
Dot Iris ⭐ 29
Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
most recent commit 8 months ago
Nuprlincoq ⭐ 25
Implementation of Nuprl's type theory in Coq
most recent commit 4 years ago
Coq Guarded Computational Type Theory ⭐ 17
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
Bramble ⭐ 11
dependently-typed lisp with flexible compiler backends
most recent commit 5 years ago
Constructingii ⭐ 7
Constructing Inductive-Inductive types in Cubical Type Theory
most recent commit 5 years ago
Awesome Agda Programming ⭐ 7
Awesome Agda Programming
most recent commit 4 years ago
Exceptional Tt ⭐ 5
A Coq plugin that implements exceptions in Coq
most recent commit 3 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
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.