crates.io : lambda_calculus
A simple, zero-dependency implementation of pure lambda calculus in Safe Rust
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/lambda_calculus
Keywords:
functional
, mathematics
, 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: about 1 year ago
First release: over 8 years ago
Dependent packages: 1
Dependent repositories: 1
Downloads: 56,684 total
Stars: 123 on GitHub
Forks: 12 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: 29 days ago