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 9 months ago
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105most recent commit 5 months 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,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40most recent commit 3 months ago
Lean3 ⭐ 2,138
Lean Theorem Prover
most recent commit 6 months ago
Learn Tt ⭐ 1,307
A collection of resources for learning type theory and type theory adjacent fields.
most recent commit 4 years ago
Coq Hott ⭐ 1,210
A Coq library for Homotopy Type Theory
most recent commit 10 days ago
Martin Lof ⭐ 670
papers of Per Martin Löf
most recent commit a year ago
Cubicaltt ⭐ 547
Experimental implementation of Cubical Type Theory
most recent commit 7 months ago
Pikelet ⭐ 507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
total releases 1most recent commit 3 years ago
Cubical ⭐ 408
An experimental library for Cubical Agda
most recent commit 3 months 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 3 years ago
Datafun ⭐ 328
Research on integrating datalog & lambda calculus via monotonicity types
most recent commit 2 years ago
Proofs ⭐ 278
My personal repository of formally verified mathematics.
most recent commit 3 months ago
Spartan Type Theory ⭐ 236
Spartan type theory
most recent commit 10 months ago
Sml Redprl ⭐ 214
The People's Refinement Logic
most recent commit 4 years 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
Typetopology ⭐ 207
Logical manifestations of topological concepts, and other things, via the univalent point of view.
most recent commit 3 months ago
Cooltt ⭐ 206
😎TT
most recent commit 6 months ago
Hott Uf Agda Lecture Notes ⭐ 204
Lecture notes on univalent foundations of mathematics with Agda
most recent commit 8 months ago
How To Prove ⭐ 203
My Solution to Velleman's book
most recent commit 5 months ago
Gf ⭐ 184
Archive of monolithic GF repository until 2018-07-25
total releases 17most recent commit 6 years ago
The 7 Most Depended On Type Theory Open Source Projects
Strict Encoding ⭐ 7
Protobufs for functional programming
dependent packages 61total releases 90latest release October 09, 2023most recent commit 4 months agocargo strict_encoding} Downloads
Variant ⭐ 164
Variant types in TypeScript
dependent packages 10total releases 63latest release May 25, 2023most recent commit a year 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 4 years agocargo minitt-util} Downloads
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38latest release October 09, 2021most recent commit 5 months 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 4 years agocargo voile-util} Downloads
L1ir ⭐ 8
Intermediate Representation of LSTS L1 Language
dependent packages 2total releases 52latest release March 05, 2023most recent commit a year agocargo l1_ir} Downloads
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit 5 months agonpm kind-lang} Downloads
The 10 Latest Releases In Type Theory Open Source Projects
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40latest release November 30, 2023most recent commit 3 months ago
Strict Encoding ⭐ 7
Protobufs for functional programming
dependent packages 61total releases 90latest release October 09, 2023most recent commit 4 months agocargo strict_encoding} Downloads
Anqur ⭐ 9
Elaboration with inductive types
total releases 6latest release June 01, 2023most recent commit a year ago
Variant ⭐ 164
Variant types in TypeScript
dependent packages 10total releases 63latest release May 25, 2023most recent commit a year agonpm variant} Downloads
L1ir ⭐ 8
Intermediate Representation of LSTS L1 Language
dependent packages 2total releases 52latest release March 05, 2023most recent commit a year agocargo l1_ir} Downloads
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit 5 months agonpm kind-lang} Downloads
Guest0x0 ⭐ 40
Neon lights in the night tonight and stars that shine in the open sky
total releases 11latest release September 26, 2022most recent commit 4 months ago
Sit ⭐ 6
Prototypical type checker for Type Theory with Sized Natural Numbers
total releases 5latest release March 18, 2022most recent commit 8 months ago
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38latest release October 09, 2021most recent commit 5 months agonpm cicada-lang} Downloads
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida
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.