JSPM

Using JS' anonymous functions to perform lambda calculus

Macro Lambda Calculus

Optimal evaluation of some lambda terms

JavaScript Engine for Interaction Nets

Lambda Calculus evaluator for Codewars

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.

Lambda Calculus mode for CodeMirror

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

TypeScript type information for thaw's interpreter code

Convert JavaScript functions to the Lambda Calculus, and visualize them with Tromp diagrams.

See the inlined contents of a JS function

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-FP Compose