Lunarflow

Lambda calculus go brrrr
Alternatives To Lunarflow
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Haskell Resources824
2 years agootherJavaScript
A List of Foundational Haskell Papers
Cedille305
2 years ago46otherAgda
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Lambda Talk246
4 years agomitJavaScript
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
Elsa172
6 months ago8September 29, 20221mitHaskell
Elsa is a lambda calculus evaluator
Glambda168
5 years ago3November 27, 2017bsd-3-clauseHaskell
The home of the Glamorous Glambda interpreter
Book Reviews137
8 years ago
Purescript Purview107
6 years agoApril 04, 20183mitPureScript
A UI library based on the incremental lambda calculus
Eole92
4 years ago4gpl-3.0Rust
Éole, a Lévy-optimal lambda calculus evaluator without oracle
Lambdapi86
3 years agootherHaskell
Dependently Typed Lambda Calculus in Haskell
Lambda_calculus85216 months ago40September 20, 2023cc0-1.0Rust
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Alternatives To Lunarflow
Select To Compare


Alternative Project Comparisons
Popular Calculus Projects
Popular Lambda Functions Projects
Popular Mathematics Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Lambda Functions
Purescript
Visualisation
Calculus
Lambda Calculus