Sheepda

A lambda calculus interpreter. GET IT?
Alternatives To Sheepda
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 Sheepda
Select To Compare


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

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