Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Lambda Talk | 246 | 5 years ago | mit | JavaScript | ||||||
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS | ||||||||||
Js Church Encoding | 33 | 2 years ago | 1 | gpl-3.0 | JavaScript | |||||
Church Encoding Implementation in JavaScript | ||||||||||
Haskell Church Encodings | 16 | 4 years ago | 2 | bsd-3-clause | Haskell | |||||
:cyclone: Church encodings written in Haskell | ||||||||||
Serverless Content Encoding | 13 | 2 | 6 | 6 years ago | 24 | June 06, 2018 | JavaScript | |||
Serverless plugin to enable content encoding for response compression | ||||||||||
Bruski | 8 | 3 years ago | 2 | gpl-3.0 | Haskell | |||||
"DeBruijn to SKI" Untyped language that compiles to Unlambda | ||||||||||
Lcc | 6 | 7 years ago | mit | Python | ||||||
A Lambda Calculus to Python compiler | ||||||||||
Athena Tools | 5 | 7 years ago | epl-1.0 | Clojure | ||||||