lambda_calculus
A simple, zero-dependency implementation of pure lambda calculus in Safe Rust
Ecosystem
crates.io
crates.io
Latest Release
5 months ago
3.4.0
5 months ago
Versions
42
42
Downloads
65,830 total
65,830 total
Dependent Packages
1
1
Dependent Repos
1
1
Loading...
Readme
Loading...
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 | 11 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 |