Search results
15 packages found
A simple, clean and fast implementation of the λ-calculus on JavaScript.
Lambda Calculus evaluator for Codewars
See the inlined contents of a JS function
Lambda Calculus mode for CodeMirror
JavaScript Engine for Interaction Nets
TypeScript-FP Compose
Macro Lambda Calculus
- lambda-calculus
- pure
- untyped
- interaction-nets
- interaction-calculus
- optimal-reduction
- abstract-algorithm
- closed-reduction
- lambdascope
- api
- cli
Programming language interpreters, including LISP, Scheme, and Prolog.
A program language based on lambda calculus
Implementations of the grammars of several programming languages, including LISP, Scheme, Prolog, and the Lambda Calculus.
- APL
- CFG
- CLU
- context-free grammar
- grammar
- lambda-calculus
- LISP
- programming languages
- Prolog
- SASL
- Scheme
- Smalltalk
- TypeScript
TypeScript type information for thaw's interpreter code
- APL
- CFG
- CLU
- context-free grammar
- grammar
- lambda-calculus
- LISP
- programming languages
- Prolog
- SASL
- Scheme
- Smalltalk
- TypeScript
Optimal evaluation of some lambda terms
A collection of basic combinators and utilities. Visit our [github page](https://github.com/kanitsharma/pokemonads) for more information.
A nano proof language.
JSON extended with pure functions.