A minimal lambda calculus normalizer
Macro Lambda Calculus
Lambda Calculus evaluator for Codewars
Lambda Calculus mode for CodeMirror
An interpreter of [lambda calculus](https://en.wikipedia.org/wiki/Lambda_calculus).
lambda calculus returns
Using @calculemus/abt to interpret lambda-calculus
Lambda calculus interpreter library and CLI.
Make a lambda calculus
Lambda Calculus with JavaScript. Pure function programming.
An implementation of [lambda calculus](https://en.wikipedia.org/wiki/Lambda_calculus).
Untyped lambda calculus to Grass compiler
lambda calculus compiler based on Types and Programming Languages
Lambda calculus evaluator and debugger.
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.
Convert JavaScript functions to the Lambda Calculus, and visualize them with Tromp diagrams.
Using JS' anonymous functions to perform lambda calculus
Lambda Calculus Core
An interpreter of [lambda calculus](https://en.wikipedia.org/wiki/Lambda_calculus).
Convert javascript code to lambda calculus.
DSL for lambda calculus
Parsing et reduction tool for lambda-calculus
An implementation of lambda calculus by [explicit substitution](https://en.wikipedia.org/wiki/Explicit_substitution).
Lambda calculus expression parser and reducer
A simple, zero-dependency implementation of pure lambda calculus in Safe Rust
Instructional program detailing the beta reduction of typed and untyped lambda terms
Command-line interface for the Categorical Semantics Workbench
Core categorical structures for the Categorical Semantics Workbench - define categories and derive type systems
Type system derivation engine for the Categorical Semantics Workbench - derive type theories from categorical structures
Code generation for the Categorical Semantics Workbench - generate type checkers and interpreters from derived type systems
Pure untyped lambda calculus in safe Rust.
Lambda calculus with records, prototype chains, ref cells, mark-sweep GC, throw/try/catch, and cooperative promise-based scheduling. Pure-functional pending-task queue threaded through evaluation; synchronous await drives the scheduler. Spike 5 of a web-engine reformulation targeting Tauri.
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.
Lambda calculus with mutable reference cells and a pure-functional mark-sweep garbage collector, built on comp-cat-rs. Spike 2 of a web-engine reformulation targeting Tauri.
Lambda calculus with records, prototype chains, ref cells, GC, and non-local control flow via throw/try/catch. Outcome::Normal/Thrown is threaded purely-functionally through every reduction. Spike 4 of a web-engine reformulation targeting Tauri.
A lambda calculus command line repl
This gem allows users to create and evaluate lambda expression objects from natural string input like '(\x.xy)(\a.aba)'.
A Ruby gem for parsing, reducing, and manipulating lambda calculus expressions
A set of functional toys using combinators and lambda calculus.
Lambda expressions support
No description provided.
No description provided.