Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
The Top 10 Lambda Calculus Open Source Projects
Open source projects categorized as Lambda Calculus
Categories
>
Mathematics
>
Lambda Calculus
Edit Category
HigherOrderCO/Kind
⭐
3,354
A next-gen functional language
dependent packages
0
total releases
0
most recent commit
over 2 years ago
sdiehl/write-you-a-haskell
⭐
2,744
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
dependent packages
0
total releases
0
most recent commit
over 6 years ago
egraphs-good/egg
⭐
1,164
egg is a flexible, high-performance e-graph library
dependent packages
0
total releases
0
most recent commit
over 2 years ago
niltok/magic-in-ten-mins
⭐
693
十分钟魔法练习
dependent packages
0
total releases
0
most recent commit
almost 3 years ago
JasonShin/fp-core.rs
⭐
644
A library for functional programming in Rust
dependent packages
0
total releases
0
most recent commit
almost 6 years ago
HOL-Theorem-Prover/HOL
⭐
572
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
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
pagarme/lambda
⭐
287
🔮 Estudos obscuros de programação funcional
dependent packages
0
total releases
0
most recent commit
over 6 years ago
glebec/lambda-talk
⭐
246
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
dependent packages
0
total releases
0
most recent commit
over 6 years ago
Get A Weekly Email With Trending Lambda Calculus Projects
No Spam. Unsubscribe easily at any time.
Lambda Calculus
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
