Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Type Theory Open Source Projects

Open source projects categorized as Type Theory
Categories > Compilers > Type Theory
Plt ⭐ 5,018
Programming Language Theory λΠ
most recent commit 4 months ago
Kind ⭐ 3,319
A next-gen functional language
dependent packages 2total releases 105most recent commit 22 days agonpm kind-lang} Downloads
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
Agda ⭐ 2,248
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40most recent commit 2 days ago
Lean3 ⭐ 2,131
Lean Theorem Prover
most recent commit 2 months ago
Learn Tt ⭐ 1,307
A collection of resources for learning type theory and type theory adjacent fields.
most recent commit 3 years ago
Coq Hott ⭐ 1,190
A Coq library for Homotopy Type Theory
most recent commit a month ago
Martin Lof ⭐ 670
papers of Per Martin Löf
most recent commit 8 months ago
Cubicaltt ⭐ 547
Experimental implementation of Cubical Type Theory
most recent commit 3 months ago
Pikelet ⭐ 507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
total releases 1most recent commit 3 years ago
Cubical ⭐ 404
An experimental library for Cubical Agda
most recent commit 2 days ago
Peridot ⭐ 388
A fast functional language based on two level type theory
most recent commit a year ago
Typedefs ⭐ 343
Programming language agnostic type construction language based on polynomials.
most recent commit 2 years ago
Datafun ⭐ 328
Research on integrating datalog & lambda calculus via monotonicity types
most recent commit a year ago
Proofs ⭐ 276
My personal repository of formally verified mathematics.
most recent commit 8 days ago
Spartan Type Theory ⭐ 236
Spartan type theory
most recent commit 6 months ago
Homotopy Type Theory Course ⭐ 214
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
most recent commit 2 years ago
Sml Redprl ⭐ 214
The People's Refinement Logic
most recent commit 4 years ago
Cooltt ⭐ 206
😎TT
most recent commit 2 months ago
Hott Uf Agda Lecture Notes ⭐ 204
Lecture notes on univalent foundations of mathematics with Agda
most recent commit 4 months ago
How To Prove ⭐ 203
My Solution to Velleman's book
most recent commit 22 days ago
Typetopology ⭐ 202
Logical manifestations of topological concepts, and other things, via the univalent point of view.
most recent commit 2 days ago
Gf ⭐ 184
Archive of monolithic GF repository until 2018-07-25
total releases 17most recent commit 5 years ago
The 5 Most Depended On Type Theory Open Source Projects
Variant ⭐ 164
Variant types in TypeScript
dependent packages 10total releases 63latest release May 25, 2023most recent commit 9 months agonpm variant} Downloads
Minitt Rs ⭐ 68
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
dependent packages 5total releases 7latest release September 21, 2020most recent commit 3 years agocargo minitt-util} Downloads
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38latest release October 09, 2021most recent commit a month agonpm cicada-lang} Downloads
Voile Rs ⭐ 74
Dependently-typed row-polymorphic programming language, evolved from minitt-rs
dependent packages 2total releases 15latest release December 01, 2019most recent commit 3 years agocargo voile-util} Downloads
Kind ⭐ 3,319
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit 22 days agonpm kind-lang} Downloads
The 10 Latest Releases In Type Theory Open Source Projects
Agda ⭐ 2,248
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40latest release November 30, 2023most recent commit 2 days ago
Variant ⭐ 164
Variant types in TypeScript
dependent packages 10total releases 63latest release May 25, 2023most recent commit 9 months agonpm variant} Downloads
Kind ⭐ 3,319
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit 22 days agonpm kind-lang} Downloads
Guest0x0 ⭐ 37
Neon lights in the night tonight and stars that shine in the open sky
total releases 11latest release September 26, 2022most recent commit 6 months ago
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38latest release October 09, 2021most recent commit a month agonpm cicada-lang} Downloads
Gf ⭐ 184
Archive of monolithic GF repository until 2018-07-25
total releases 17latest release August 13, 2021most recent commit 5 years ago
Minitt Rs ⭐ 68
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
dependent packages 5total releases 7latest release September 21, 2020most recent commit 3 years agocargo minitt-util} Downloads
Narc Rs ⭐ 50
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
total releases 8latest release January 18, 2020most recent commit 3 years ago
Voile Rs ⭐ 74
Dependently-typed row-polymorphic programming language, evolved from minitt-rs
dependent packages 2total releases 15latest release December 01, 2019most recent commit 3 years agocargo voile-util} Downloads
Popular Compilers Categories
Gcc
Abstract Syntax Tree
Llvm
Clang
Lexer
Wsl
Emscripten
Ghc
Tokenizer
Linker
Categories
Privacy | About | Terms | Follow Us On Twitter

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

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