Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 7 Lambda Calculus Dependent Types Open Source Projects

Open source projects categorized as Lambda Calculus Dependent Types
Categories > Programming Languages > Dependent Types
Categories > Mathematics > Lambda Calculus
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105most recent commit 5 months agonpm kind-lang} Downloads
Cedille ⭐ 305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
most recent commit 3 years ago
Lsts ⭐ 96
A proof assistant that is also a programming language.
total releases 125most recent commit 4 months ago
Lambdapi ⭐ 86
Dependently Typed Lambda Calculus in Haskell
most recent commit 3 years ago
Meta Cedille ⭐ 52
Minimalistic dependent type theory with syntactic metaprogramming
most recent commit 4 months ago
Magnificats ⭐ 28
Collection of ATS goodness
most recent commit 4 years ago
Nbe A Tutorial ⭐ 6
Checking Dependent Types with Normalization by Evaluation
most recent commit 6 years ago
The 2 Latest Releases In Lambda Calculus Dependent Types Open Source Projects
Lsts ⭐ 96
A proof assistant that is also a programming language.
total releases 125latest release July 22, 2023most recent commit 4 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
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.