Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "beta-reduction" keyword
lambda_calculus 3.2.2
A simple, zero-dependency implementation of pure lambda calculus in Safe Rust40 versions - Latest release: 8 months ago - 1 dependent package - 1 dependent repositories - 25.6 thousand downloads total - 96 stars on GitHub - 1 maintainer
lambdascript 0.2.1
Educational tool illustrating beta reduction of typed and untyped lambda terms, parser generation17 versions - Latest release: 4 months ago - 4.76 thousand downloads total - 2 stars on GitHub - 1 maintainer
Related Keywords
lambda
2
lambda-calculus
2
education
1
stump-fu-encoding
1
ski-combinators
1
scott-encoding
1
rust-library
1
rust
1
reduction-strategies
1
parigot-encoding
1
lambda-interpreter
1
lambda-functions
1
lambda-expressions
1
embedded-iterators-encoding
1
debruijn
1
combinatory-logic
1
church-encoding
1
functional
1
mathematics
1
combinators
1
calculus
1