Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Js Lambda | 15 | 2 | 8 years ago | 2 | April 04, 2013 | JavaScript | ||||
DSL for lambda calculus | ||||||||||
Betty Book Haskell Sessions | 12 | 5 months ago | Haskell | |||||||
Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017). | ||||||||||
Lambda Coffee | 11 | 11 years ago | CoffeeScript | |||||||
A λ-calculus implementation in CoffeeScript | ||||||||||
Studyhaskell | 8 | 9 years ago | ||||||||
Study Haskell in a group setting | ||||||||||
Lfc Haskell | 6 | 7 years ago | other | Haskell | ||||||
🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects | ||||||||||
Malcjs | 5 | 2 | 3 years ago | 8 | November 15, 2020 | JavaScript | ||||
Make a lambda calculus - npm package version for JavaScript |