Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Dependent Types Type Theory Open Source Projects

Open source projects categorized as Dependent Types Type Theory
Categories > Programming Languages > Dependent Types
Categories > Compilers > Type Theory
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105most recent commit 5 months agonpm kind-lang} Downloads
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
Hott Uf Agda Lecture Notes ⭐ 204
Lecture notes on univalent foundations of mathematics with Agda
most recent commit 8 months ago
Path_semantics ⭐ 156
A research project in path semantics, a re-interpretation of functions for expressing mathematics
most recent commit 3 months 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
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
Rust Nbe For Mltt ⭐ 78
Normalization by evaluation for Martin-Löf Type Theory with dependent records
most recent commit 2 years ago
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
Mlang ⭐ 60
Towards changing things and see if it proofs
most recent commit 3 years ago
Narc Rs ⭐ 50
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
total releases 8most recent commit 4 years ago
Agda Algebras ⭐ 24
The Agda Universal Algebra Library (html docs available at the url below)
most recent commit 6 months ago
Coq Guarded Computational Type Theory ⭐ 17
most recent commit 6 years ago
Bramble ⭐ 11
dependently-typed lisp with flexible compiler backends
most recent commit 5 years ago
Grammar Experimentation ⭐ 8
An experimental programming language containing a higher-order type system
most recent commit 4 years ago
Iotatt ⭐ 7
A PTS Supporting Induction
most recent commit 6 years ago
Awesome Agda Programming ⭐ 7
Awesome Agda Programming
most recent commit 4 years ago
Isabelle Spartan ⭐ 6
A dependent type theory logic for Isabelle
most recent commit 3 years ago
The 4 Most Depended On Dependent Types 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
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
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 7 Latest Releases In Dependent Types 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
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
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.