Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / ljedrz / lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ljedrz%2Flambda_calculus
Stars: 97
Forks: 10
Open Issues: 0
License: cc0-1.0
Language: Rust
Repo Size: 661 KB
Dependencies:
7
Created: about 7 years ago
Updated: 12 days ago
Last pushed: 8 months ago
Last synced: about 7 hours ago
Commit Stats
Commits: 681
Authors: 5
Mean commits per author: 136.2
Development Distribution Score: 0.107
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/ljedrz/lambda_calculus
Topics: 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
Files
Dependencies
- actions-rs/cargo v1 composite
- actions-rs/clippy-check v1 composite
- actions-rs/toolchain v1 composite
- actions/checkout v2 composite
- actions-rs/cargo v1 composite
- actions-rs/toolchain v1 composite
- actions/checkout v2 composite