crates.io : lambda_calculus
A simple, zero-dependency implementation of pure lambda calculus in Safe Rust
Registry
-
Source
- Documentation
- JSON
- codemeta.json
purl: pkg:cargo/lambda_calculus
Keywords:
mathematics
, functional
, combinators
, lambda
, calculus
, 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
License: CC0-1.0
Latest release: 4 months ago
First release: almost 9 years ago
Dependent packages: 1
Dependent repositories: 1
Downloads: 65,274 total
Stars: 130 on GitHub
Forks: 15 on GitHub
Total Commits: 706
Committers: 7
Average commits per author: 100.857
Development Distribution Score (DDS): 0.125
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: about 1 month ago
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
Check this option to include packages that no longer depend on this package in their latest version but previously did.