Henk2000
Pure Type Systems for Functional Programming
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Fp Core.rs | 644 | 4 years ago | 25 | mit | Rust | |||||
| A library for functional programming in Rust | ||||||||||
| Plam | 441 | 3 years ago | 4 | mit | Haskell | |||||
| An interpreter for learning and exploring pure λ-calculus | ||||||||||
| Cedille | 305 | 3 years ago | 46 | other | Agda | |||||
| Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations | ||||||||||
| Lambda Talk | 246 | 5 years ago | mit | JavaScript | ||||||
| A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS | ||||||||||
| Elsa | 172 | 7 months ago | 8 | September 29, 2022 | 1 | mit | Haskell | |||
| Elsa is a lambda calculus evaluator | ||||||||||
| Glambda | 168 | 5 years ago | 3 | November 27, 2017 | bsd-3-clause | Haskell | ||||
| The home of the Glamorous Glambda interpreter | ||||||||||
| Iron | 121 | 4 years ago | other | Coq | ||||||
| Coq formalizations of functional languages. | ||||||||||
| Purescript Purview | 107 | 6 years ago | April 04, 2018 | 3 | mit | PureScript | ||||
| A UI library based on the incremental lambda calculus | ||||||||||
| Lambdapi | 86 | 3 years ago | other | Haskell | ||||||
| Dependently Typed Lambda Calculus in Haskell | ||||||||||
| Lambda_calculus | 85 |  | 2 | 1 | 7 months ago | 40 | September 20, 2023 | cc0-1.0 | Rust | |
| A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust | ||||||||||
Alternatives To Henk2000Select To Compare
Alternative Project Comparisons
Popular Lambda Functions Projects
Popular Lambda Calculus Projects
Popular Cloud Computing Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Lambda Functions
Lambda Calculus