Lambda-calculus

JavaScript Engine for Interaction Nets

interaction-nets interaction-calculus lambda-calculus api

0.2.7 • Published 7 years ago

Optimal evaluation of some lambda terms

functional-programming lambda-calculus interaction-combinators interaction-nets

0.2.5 • Published 2 years ago

JSON extended with pure functions.

JSON lambda-calculus functional-programming functions

2.1.0 • Published 8 years ago

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

APL CLU interpreter lambda-calculus LISP programming languages Prolog SASL Scheme Smalltalk

0.0.7 • Published 3 years ago

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

0.0.9 • Published 3 years ago

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

functional programming combinators lambda-calculus point-free

0.0.13 • Published 7 years ago

A program language based on lambda calculus

Language lambda-calculus combinator-logic

1.0.0 • Published 5 years ago

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

lambda-calculus functional-programming

1.0.6 • Published 8 years ago

TypeScript-FP Compose

typescript-fp functional-programming lambda-calculus curried compose functionss typescript es6 library

0.1.4 • Published 6 years ago

A nano proof language.

theorem-proving lambda-calculus functional-programming type-theory

0.1.2 • Published 6 years ago

TypeScript type information for thaw's interpreter code

APL CFG CLU context-free grammar grammar lambda-calculus LISP programming languages Prolog SASL

0.0.5 • Published 3 years ago

Macro Lambda Calculus

lambda-calculus pure untyped interaction-nets interaction-calculus optimal-reduction abstract-algorithm closed-reduction lambdascope api

0.5.2 • Published 6 years ago

Lambda Calculus mode for CodeMirror

codemirror lambda-calculus

0.3.4 • Published 1 year ago

Lambda Calculus evaluator for Codewars

lc lambda-calculus

1.1.0 • Published 1 year ago

See the inlined contents of a JS function

lambda lambda-calculus function json

1.0.0 • Published 8 years ago

Lambda-calculus Packages

inet-lib

abstract-algorithm

ljson

thaw-interpreter

thaw-grammar

@pokemonads/combinators

oiseau

lambda-calculus

@typescript-fp/compose

escoc

thaw-interpreter-types

@alexo/lambda

@codewars/codemirror-lambda-calculus

@codewars/lambda-calculus

inl