Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with embedded-iterators-encoding
A curated list of projects in awesome lists tagged with embedded-iterators-encoding .
https://github.com/ljedrz/lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
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
Last synced: 03 Aug 2024