Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Lambda Calculus Open Source Projects

Open source projects categorized as Lambda Calculus
Categories > Mathematics > Lambda Calculus
Kind ⭐ 3,319
A next-gen functional language
dependent packages 2total releases 105most recent commit 18 days agonpm kind-lang} Downloads
Write You A Haskell ⭐ 2,744
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
most recent commit 4 years ago
Egg ⭐ 1,143
egg is a flexible, high-performance e-graph library
dependent packages 6total releases 23most recent commit 6 days agocargo egg} Downloads
Magic In Ten Mins ⭐ 693
十分钟魔法练习
most recent commit 3 months ago
Fp Core.rs ⭐ 644
A library for functional programming in Rust
most recent commit 3 years ago
Hol ⭐ 570
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.
most recent commit 13 hours ago
Plam ⭐ 430
An interpreter for learning and exploring pure λ-calculus
most recent commit 3 years ago
Cedille ⭐ 305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
most recent commit 2 years ago
Lambda ⭐ 287
🔮 Estudos obscuros de programação funcional
most recent commit 4 years ago
Lambda Talk ⭐ 246
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
most recent commit 4 years ago
Curryhoward ⭐ 232
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
total releases 15most recent commit 2 years ago
Lambdalisp ⭐ 187
A Lisp interpreter written in untyped lambda calculus
most recent commit 9 months ago
Elsa ⭐ 172
Elsa is a lambda calculus evaluator
total releases 8most recent commit 2 months ago
Glambda ⭐ 168
The home of the Glamorous Glambda interpreter
total releases 3most recent commit 5 years ago
Cognate ⭐ 164
A human readable quasi-concatenative programming language
most recent commit a year ago
Hindley Milner ⭐ 152
An implementation of Hindley-Milner in Clojure.
most recent commit 9 years ago
Y Combinator For Non Programmers ⭐ 145
🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science
most recent commit a year ago
Awesome Functional Studies ⭐ 143
A curated list of functional programming resources to study the fp paradigm
most recent commit a year ago
Combinators Js ⭐ 132
🐦 Some combinators
dependent packages 3total releases 14most recent commit a month agonpm combinators-js} Downloads
Church ⭐ 122
⛪️ Church Encoding in JS
dependent packages 2total releases 17most recent commit a day agonpm church} Downloads
Iron ⭐ 121
Coq formalizations of functional languages.
most recent commit 3 years ago
Chemlambda Gui ⭐ 117
Life like molecular computers with artificial chemistry.
most recent commit 2 years ago
Cosmicos ⭐ 109
Sending the lambda calculus into deep space
dependent packages 2total releases 2most recent commit 2 years agonpm cosmicos} Downloads
The 10 Most Depended On Lambda Calculus Open Source Projects
Formality Javascript ⭐ 72
An implementation of the Formality language in JavaScript
dependent packages 8total releases 369latest release November 25, 2020most recent commit 4 years agonpm formality-lang} Downloads
Egg ⭐ 1,143
egg is a flexible, high-performance e-graph library
dependent packages 6total releases 23latest release June 29, 2023most recent commit 6 days agocargo egg} Downloads
Lambda ⭐ 17
The Lambda Programming Language
dependent packages 3total releases 28latest release October 01, 2016most recent commit 7 years agonpm lambda} Downloads
Combinators Js ⭐ 132
:bird: Some combinators
dependent packages 3total releases 14latest release January 19, 2020most recent commit a month agonpm combinators-js} Downloads
Formality Core ⭐ 35
Specification of the Formality proof and programming language
dependent packages 3total releases 124latest release May 15, 2020most recent commit 3 years agonpm formality-core} Downloads
Cosmicos ⭐ 109
Sending the lambda calculus into deep space
dependent packages 2total releases 2latest release August 28, 2014most recent commit 2 years agonpm cosmicos} Downloads
Lalrpop Lambda ⭐ 70
A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
dependent packages 2total releases 3latest release June 23, 2019most recent commit 3 years agonpm lalrpop-lambda} Downloads
Lambda ⭐ 26
An implementation of (Untyped) Lambda Calculus in JavaScript.
dependent packages 2total releases 52latest release October 07, 2023most recent commit a month agonpm @cicada-lang/lambda} Downloads
Church ⭐ 122
:church: Church Encoding in JS
dependent packages 2total releases 17latest release June 29, 2020most recent commit a day agonpm church} Downloads
Study ⭐ 60
Study of language design and implementation.
dependent packages 2total releases 17latest release October 24, 2020most recent commit 3 years agonpm @xieyuheng/cicada} Downloads
The 10 Latest Releases In Lambda Calculus Open Source Projects
Lambda ⭐ 26
An implementation of (Untyped) Lambda Calculus in JavaScript.
dependent packages 2total releases 52latest release October 07, 2023most recent commit a month agonpm @cicada-lang/lambda} Downloads
Ltext ⭐ 36
λtext - higher-order file applicator
total releases 17latest release September 22, 2023most recent commit a month ago
Lambda_calculus ⭐ 85
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
dependent packages 1total releases 40latest release September 20, 2023most recent commit 2 months agocargo lambda_calculus} Downloads
Lsts ⭐ 93
A proof assistant that is also a programming language.
total releases 125latest release July 22, 2023most recent commit 8 hours ago
Egg ⭐ 1,143
egg is a flexible, high-performance e-graph library
dependent packages 6total releases 23latest release June 29, 2023most recent commit 6 days agocargo egg} Downloads
Kind ⭐ 3,319
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit 18 days agonpm kind-lang} Downloads
Elsa ⭐ 172
Elsa is a lambda calculus evaluator
total releases 8latest release September 29, 2022most recent commit 2 months ago
Lambda Notebook ⭐ 21
Lambda Notebook: Formal Semantics in Jupyter
total releases 3latest release October 18, 2021most recent commit 3 days ago
Curryhoward ⭐ 232
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
total releases 15latest release August 23, 2021most recent commit 2 years ago
Badlam ⭐ 19
Lambda analysis package
total releases 1latest release May 18, 2021most recent commit 3 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Probability
Tensor
Algebra
Matrices
Fft
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2023 Awesome Open Source.  All rights reserved.