Lambda-calculus Packages

JavaScript Engine for Interaction Nets

Optimal evaluation of some lambda terms

JSON extended with pure functions.

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

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

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

TypeScript-FP Compose

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

A program language based on lambda calculus

A nano proof language.

TypeScript type information for thaw's interpreter code

See the inlined contents of a JS function

Lambda Calculus mode for CodeMirror

Lambda Calculus evaluator for Codewars

Macro Lambda Calculus