Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
The Top 10 Lambda Calculus Programming Language Open Source Projects
Open source projects categorized as Lambda Calculus Programming Language
Categories
>
Mathematics
>
Lambda Calculus
Edit Category
slovnicki/pLam
⭐
430
An interpreter for learning and exploring pure λ-calculus
dependent packages
0
total releases
0
most recent commit
about 5 years ago
cedille/cedille
⭐
305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
dependent packages
0
total releases
0
most recent commit
over 4 years ago
cognate-lang/cognate
⭐
196
A human readable quasi-concatenative programming language
dependent packages
0
total releases
0
most recent commit
over 2 years ago
lambda-study-group/awesome-functional-studies
⭐
143
A curated list of functional programming resources to study the fp paradigm
dependent packages
0
total releases
0
most recent commit
about 4 years ago
ilya-klyuchnikov/lambdapi
⭐
86
Dependently Typed Lambda Calculus in Haskell
dependent packages
0
total releases
0
most recent commit
over 5 years ago
zehaochen19/vanilla-lang
⭐
73
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
dependent packages
0
total releases
0
most recent commit
over 3 years ago
marvinborner/birb
⭐
70
:bird: Programming language that only consists of bird emojis
dependent packages
0
total releases
0
most recent commit
over 2 years ago
clark800/lambda-zero
⭐
67
minimalist pure lazy functional programming language (pythonic haskell)
dependent packages
0
total releases
0
most recent commit
over 2 years ago
marvinborner/bruijn
⭐
60
:abacus: Programming with pure lambda calculus
dependent packages
0
total releases
0
most recent commit
over 2 years ago
orsinium-labs/rlci
⭐
54
🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
Get A Weekly Email With Trending Lambda Calculus Projects
No Spam. Unsubscribe easily at any time.
Lambda Calculus
Programming Language
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
