Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "lambda-calculus" keyword
ltext 0.1.5
Please see the README on GitHub at https://github.com/ltext/ltext#README18 versions - Latest release: 4 months ago - 1 dependent package - 18 dependent repositories - 8.14 thousand downloads total - 36 stars on GitHub - 1 maintainer
bound-simple 0.2.0.0 💰
An abstraction for representing bound variables. Most of this code has been extracted from bound,...2 versions - Latest release: over 2 years ago - 1 dependent repositories - 205 downloads total - 1 stars on GitHub - 1 maintainer
typerbole 0.0.0.5
Please see README.md5 versions - Latest release: almost 8 years ago - 2.05 thousand downloads total - 4 stars on GitHub - 1 maintainer
mikrokosmos 0.8.0
A didactic untyped lambda calculus interpreter.7 versions - Latest release: almost 6 years ago - 4.46 thousand downloads total - 69 stars on GitHub - 1 maintainer
elsa 0.2.2.0
elsa is a small proof checker for verifying sequences of reductions of lambda-calculus terms. The...8 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 4.6 thousand downloads total - 179 stars on GitHub - 1 maintainer