2 releases
| 0.0.2 | Aug 29, 2024 |
|---|---|
| 0.0.1 | Sep 21, 2022 |
#329 in Programming languages
59 downloads per month
56KB
1.5K
SLoC
RuSKI
Ruski is a simple, zero-dependency implementation of combinator calculus in Rust. It is based on the crate lambda_calculus and adds elements from Wolfram
Features
- Parser for SKI expressions
- β reduction of SKI expressions (currently: leftmost outermost, leftmost innermost)
- Tree representation of expressions with shared subexpressions.
- Graph representation of reductions with shard reductions paths (draft)