Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for lambda calculus dependent types
dependent-types
x
lambda-calculus
x
7 search results found
Kind
⭐
3,403
A next-gen functional language
Cedille
⭐
305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Lsts
⭐
96
A proof assistant that is also a programming language.
Lambdapi
⭐
86
Dependently Typed Lambda Calculus in Haskell
Meta Cedille
⭐
52
Minimalistic dependent type theory with syntactic metaprogramming
Magnificats
⭐
28
Collection of ATS goodness
Nbe A Tutorial
⭐
6
Checking Dependent Types with Normalization by Evaluation
Related Searches
Haskell Lambda Calculus (136)
Haskell Dependent Types (62)
Functional Programming Lambda Calculus (58)
1-7 of 7 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.