lambda_calculus
A simple, zero-dependency implementation of pure lambda calculus in Safe Rust
Ecosystem
crates.io
crates.io
Latest Release
6 months ago
3.4.0
6 months ago
Versions
42
42
Downloads
65,830 total
65,830 total
Dependent Packages
1
1
Dependent Repos
1
1
blc 0.6.0
An implementation of the binary lambda calculus.17 versions - Latest release: about 8 years ago - 1 dependent repositories - 30.1 thousand downloads total - 10 stars on GitHub - 1 maintainer
Past Dependents
Include Past Dependents
Check this option to include packages that no longer depend on this package in their latest version but previously did.
Filter
Links
| Registry | crates.io |
| Source | Repository |
| Docs | Documentation |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:cargo/lambda_calculus
spec |
| License | CC0-1.0 |
| First Release | almost 9 years ago |
| Last Synced | 23 days ago |
Keywords
calculus combinators functional lambda mathematics beta-reduction church-encoding combinatory-logic debruijn embedded-iterators-encoding lambda-calculus lambda-expressions lambda-functions lambda-interpreter parigot-encoding reduction-strategies rust rust-library scott-encoding ski-combinators stump-fu-encoding
calculus combinators functional lambda mathematics beta-reduction church-encoding combinatory-logic debruijn embedded-iterators-encoding lambda-calculus lambda-expressions lambda-functions lambda-interpreter parigot-encoding reduction-strategies rust rust-library scott-encoding ski-combinators stump-fu-encoding
Repository
| Stars | 130 on GitHub |
| Forks | 15 on GitHub |
| Commits | 706 |
| Committers | 7 |
| Avg per Author | 100.857 |
| DDS | 0.125 |