Lambda calculus evaluator and debugger.

Make a lambda calculus

Advanced mathematical AI interpretability: Category Theory, Homotopy Type Theory, Spectral Analysis, Causal Inference, Quantum Topology, and Sheaf Cohomology for WebAssembly. Implements functorial retrieval, univalence axioms, Cheeger bounds, do-calculus,

Scientific Expression Engine - Physics utilities (constants, units, vector calculus, quantum mechanics)

Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript

pi calculus

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.

Evaluate mathematical expressions, take symbolic derivatives, and simplify algebraically — powered by [mathjs](https://mathjs.org). Covers arithmetic, trigonometry, units, and calculus. No external services or API keys.

A pure TypeScript lambda calculus interpreter

Convert javascript code to lambda calculus.

calculus, but less

lambda calculus returns

Pure TypeScript geometric access control via Schubert calculus — zero-dependency extraction of the Schubert Rust crate, with impossibility detection in the browser.

Lambda Calculus Core

Using @calculemus/abt to interpret lambda-calculus

Using JS' anonymous functions to perform lambda calculus

An implementation of [lambda calculus](https://en.wikipedia.org/wiki/Lambda_calculus).

Lambda calculus interpreter library and CLI.

Calculator for Calculus

Calculus in your terminal