Lambda-calculus Packages

JavaScript Engine for Interaction Nets

Optimal evaluation of some lambda terms

JSON extended with pure functions.

A nano proof language.

A collection of basic combinators and utilities. Visit our [github page](https://github.com/kanitsharma/pokemonads) for more information.

TypeScript-FP Compose

A simple, clean and fast implementation of the λ-calculus on JavaScript.

Implementations of the grammars of several programming languages, including LISP, Scheme, Prolog, and the Lambda Calculus.

Programming language interpreters, including LISP, Scheme, and Prolog.

A program language based on lambda calculus

Lambda Calculus mode for CodeMirror

Lambda Calculus evaluator for Codewars

Macro Lambda Calculus

See the inlined contents of a JS function

TypeScript type information for thaw's interpreter code