Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Programming Language Type Theory Open Source Projects

Open source projects categorized as Programming Language Type Theory
Categories > Programming Languages > Programming Language
Categories > Compilers > Type Theory
Plt ⭐ 5,018
Programming Language Theory λΠ
most recent commit 9 months 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
Pikelet ⭐ 507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
total releases 1most recent commit 3 years ago
Peridot ⭐ 388
A fast functional language based on two level type theory
most recent commit a year ago
Datafun ⭐ 328
Research on integrating datalog & lambda calculus via monotonicity types
most recent commit 2 years ago
Ditto ⭐ 130
A Super Kawaii Dependently Typed Programming Language
most recent commit 6 years ago
Cicada Solo ⭐ 125
Cicada Language (solo version)
most recent commit 5 months 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
Ttlite ⭐ 108
A SuperCompiler for Martin-Löf's Type Theory
most recent commit 2 years ago
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38most 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 15most recent commit 4 years agocargo voile-util} Downloads
Minitt Rs ⭐ 68
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
dependent packages 5total releases 7most recent commit 4 years agocargo minitt-util} Downloads
Narc Rs ⭐ 50
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
total releases 8most recent commit 4 years ago
Lura ⭐ 28
🍞 | IDE focused programming language study
most recent commit 5 months ago
Types And Programming Languages ⭐ 27
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
most recent commit 4 years ago
Hashc ⭐ 21
The Hash programming language compiler ⚡
most recent commit 3 months ago
Mlpolyr ⭐ 17
The MLPolyR programming language, revived
most recent commit 4 years ago
Bramble ⭐ 11
dependently-typed lisp with flexible compiler backends
most recent commit 5 years ago
Radical Julia ⭐ 10
Radical ideas for the Julia language.
most recent commit 4 years ago
Programming Language Research ⭐ 10
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
most recent commit a year ago
Intuitionistic ⭐ 9
Automatically exported from code.google.com/p/intuitionistic
most recent commit 9 years ago
Grammar Experimentation ⭐ 8
An experimental programming language containing a higher-order type system
most recent commit 4 years ago
The 4 Most Depended On Programming Language Type Theory Open Source Projects
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
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
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
The 7 Latest Releases In Programming Language 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
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
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38latest release October 09, 2021most recent commit 5 months agonpm cicada-lang} 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
Narc Rs ⭐ 50
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
total releases 8latest release January 18, 2020most recent commit 4 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 4 years agocargo voile-util} Downloads
Pikelet ⭐ 507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
total releases 1latest release July 24, 2018most recent commit 3 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
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.