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 nano proof language.

A program language based on lambda calculus

TypeScript type information for thaw's interpreter code

See the inlined contents of a JS function

Macro Lambda Calculus

Lambda Calculus mode for CodeMirror

Lambda Calculus evaluator for Codewars