Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Programming Language Dependent Types Open Source Projects

Open source projects categorized as Programming Language Dependent Types
Categories > Programming Languages > Dependent Types
Categories > Programming Languages > Programming Language
Fstar ⭐ 2,522
A Proof-oriented Programming Language
most recent commit 3 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
Cedille ⭐ 305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
most recent commit 2 years ago
Fathom ⭐ 235
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
most recent commit a year ago
Coq Equations ⭐ 206
A function definition package for Coq
most recent commit 3 months ago
Silt ⭐ 204
An in-progress fast, dependently typed, functional programming language implemented in Swift.
most recent commit 5 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
Language Garden ⭐ 117
A garden of small programming language implementations 🪴
most recent commit 3 months ago
Ttlite ⭐ 108
A SuperCompiler for Martin-Löf's Type Theory
most recent commit 2 years ago
Lambdapi ⭐ 86
Dependently Typed Lambda Calculus in Haskell
most recent commit 3 years ago
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38most recent commit 5 months agonpm cicada-lang} Downloads
Rowscript ⭐ 78
RowScript is a robustly-typed functional language that compiles to efficient and reliable JavaScript.
dependent packages 1total releases 9most recent commit 3 months agonpm rowscript} 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
Owo ⭐ 61
Placeholder for the OwO compiler
most recent commit 5 years ago
Narc Rs ⭐ 50
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
total releases 8most recent commit 4 years ago
Kara ⭐ 37
An experimental functional programming language with dependent types, inspired by Swift and Idris.
most recent commit 2 years ago
Intellij Dtlc ⭐ 29
IntelliJ plugin for several experimental programming languages here
most recent commit 3 years ago
Curios ⭐ 27
Work-in-progress functional dependently typed programming language
most recent commit a year ago
The 4 Most Depended On Programming Language Dependent Types 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
Rowscript ⭐ 78
RowScript is a robustly-typed functional language that compiles to efficient and reliable JavaScript.
dependent packages 1total releases 9latest release May 24, 2023most recent commit 3 months agonpm rowscript} Downloads
The 7 Latest Releases In Programming Language Dependent Types 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
Rowscript ⭐ 78
RowScript is a robustly-typed functional language that compiles to efficient and reliable JavaScript.
dependent packages 1total releases 9latest release May 24, 2023most recent commit 3 months agonpm rowscript} 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.