An interpreter of [lambda calculus](https://en.wikipedia.org/wiki/Lambda_calculus).
An implementation of [lambda calculus](https://en.wikipedia.org/wiki/Lambda_calculus).
An interpreter of [lambda calculus](https://en.wikipedia.org/wiki/Lambda_calculus).
An interpreter of [lambda calculus](https://en.wikipedia.org/wiki/Lambda_calculus), that implements call-by-need lazy evaluation.
lc core functions
An effort to create the perfect programming language.
Is a lambda claculus implemented in purescript
A nascent programming language as formal deduction system for the foundations of mathematics.
A function is a set of statements that performs a task or calculates a value.
Simple Kombinator Interpreter - a combinatory logic & lambda calculus parser and interpreter. Supports SKI, BCKW, Church numerals, and setting up assertions ('quests') involving all of the above.
A function is a set of statements that performs a task or calculates a value {web}.
An implementation of the Cat language in TypeScript
## Contents
An implementation of the world's oldest functional programming language
Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript
Untyped lambda calculus to Grass compiler
Use [S-expression](https://github.com/cicada-lang/sexp) as overall syntax, to expression ideas clearly.
A simple, zero-dependency implementation of pure lambda calculus in Safe Rust
Simple and easy to write lambda calculus
Overly-documented Rust-powered Lambda Calculus Interpreter.
A lambda calculus command line repl
A parallel model of computation.
A library for creating, parsing and evaluating lambda calculus
An implementation of the binary lambda calculus.
A minimal lambda calculus library in Rust
Untyped lambda calculus interpreter built on comp-cat-rs. Lex, parse, and tree-walk evaluation expressed as Io effects with static dispatch and no panics.
Command-line interface for the Categorical Semantics Workbench
Pure untyped lambda calculus in safe Rust.
Automatically derive variable binding and alpha equivalence for abstract syntax trees
No description provided.
No description provided.