An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

npmjs.org "lambda-calculus" keyword

View the packages on the npmjs.org package registry that are tagged with the "lambda-calculus" keyword.

@cicada-lang/lambda 0.3.1
An interpreter of [lambda calculus](https://en.wikipedia.org/wiki/Lambda_calculus).
57 versions - Latest release: about 1 year ago - 1 dependent package - 2 dependent repositories - 143 downloads last month - 28 stars on GitHub - 1 maintainer
jambda-calc 0.6.1
Convert JavaScript functions to the Lambda Calculus, and visualize them with Tromp diagrams.
18 versions - Latest release: 5 months ago - 26 downloads last month - 0 stars on GitHub - 1 maintainer
formality-net 0.1.10
Specification of the Formality proof and programming language
10 versions - Latest release: over 6 years ago - 4 dependent packages - 1 dependent repositories - 20 downloads last month - 41 stars on GitHub - 1 maintainer
@xieyuheng/lambda-lisp.js 0.3.15
An implementation of [lambda calculus](https://en.wikipedia.org/wiki/Lambda_calculus).
11 versions - Latest release: about 2 months ago - 21 downloads last month - 28 stars on GitHub - 1 maintainer
@xieyuheng/explicit-lisp.js 0.3.6
An implementation of lambda calculus by [explicit substitution](https://en.wikipedia.org/wiki/Exp...
6 versions - Latest release: about 2 months ago - 12 downloads last month - 3 stars on GitHub - 1 maintainer
pomagma 0.2.5
Client library for pomagma inference engine
13 versions - Latest release: about 10 years ago - 2 dependent packages - 2 dependent repositories - 11 downloads last month - 4 stars on GitHub - 1 maintainer
twilight-lang 2.0.0
Twilight is a modern lambda calculus runtime and REPL.
2 versions - Latest release: 9 months ago - 0 downloads last month - 3 stars on GitHub - 1 maintainer
@susisu/grasspiler 0.3.2
Untyped lambda calculus to Grass compiler
9 versions - Latest release: over 8 years ago - 1 dependent package - 1 dependent repositories - 14 downloads last month - 2 stars on GitHub - 1 maintainer
ljson 2.1.0
JSON extended with pure functions.
3 versions - Latest release: over 8 years ago - 3 dependent packages - 2 dependent repositories - 43 downloads last month - 503 stars on GitHub - 1 maintainer
@xieyuheng/explicit-subst.js 0.3.1
An interpreter of lambda calculus by [explicit substitution](https://en.wikipedia.org/wiki/Explic...
1 version - Latest release: 3 months ago - 3 downloads last month - 3 stars on GitHub - 1 maintainer
@codewars/lambda-calculus 1.1.0
Lambda Calculus evaluator for Codewars
11 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 8 downloads last month - 16 stars on GitHub - 1 maintainer
lambda-calculus-in-js 1.0.1
Lambda Calculus with JavaScript. Pure function programming.
2 versions - Latest release: over 4 years ago - 2 dependent packages - 5 downloads last month - 5 stars on GitHub - 1 maintainer
@alexo/lambda 0.5.2
Macro Lambda Calculus
46 versions - Latest release: over 6 years ago - 2 dependent packages - 1 dependent repositories - 261 downloads last month - 50 stars on GitHub - 1 maintainer
Top 8.6% on npmjs.org
kind-lang 1.0.120
Kind-Lang in JavaScript
107 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 37 downloads last month - 3,700 stars on GitHub - 3 maintainers
alonzo.js 0.1.0 💰
λ calculus in Javascript
1 version - Latest release: over 8 years ago - 2 dependent packages - 1 dependent repositories - 1 downloads last month - 1 stars on GitHub - 1 maintainer
escoc 0.1.2
A nano proof language.
3 versions - Latest release: over 6 years ago - 1 dependent package - 1 dependent repositories - 23 downloads last month - 62 stars on GitHub - 1 maintainer
@cicada-lang/clique 0.3.0
I use [S-expression](https://github.com/cicada-lang/sexp) as syntax to express ideas clearly.
7 versions - Latest release: over 1 year ago - 8 downloads last month - 28 stars on GitHub - 1 maintainer
@xieyuheng/lambda.js 0.3.5
An interpreter of [lambda calculus](https://en.wikipedia.org/wiki/Lambda_calculus), that implemen...
1 version - Latest release: 3 months ago - 4 downloads last month - 28 stars on GitHub - 1 maintainer
@cicada-lang/explicit-subst.js 0.3.1
An interpreter of lambda calculus by [explicit substitution](https://en.wikipedia.org/wiki/Explic...
2 versions - Latest release: 3 months ago - 1 downloads last month - 3 stars on GitHub - 1 maintainer
math-o-matic 0.3.1
Computerized deductive system on the web
4 versions - Latest release: over 4 years ago - 1 dependent package - 5 downloads last month - 6 stars on GitHub - 1 maintainer
lambda-calculus 1.0.6
A simple, clean and fast implementation of the λ-calculus on JavaScript.
7 versions - Latest release: almost 8 years ago - 3 dependent packages - 1 dependent repositories - 22 downloads last month - 45 stars on GitHub - 1 maintainer
@cicada-lang/lambda.js 0.3.5
An interpreter of [lambda calculus](https://en.wikipedia.org/wiki/Lambda_calculus).
4 versions - Latest release: 3 months ago - 1 downloads last month - 28 stars on GitHub - 1 maintainer
@pokemonads/combinators 0.0.13
A collection of basic combinators and utilities. Visit our [github page](https://github.com/kanit...
11 versions - Latest release: about 7 years ago - 2 dependent packages - 1 dependent repositories - 11 downloads last month - 4 stars on GitHub - 2 maintainers
thaw-interpreter-types 0.0.5
TypeScript type information for thaw's interpreter code
6 versions - Latest release: over 3 years ago - 5 dependent packages - 4 dependent repositories - 159 downloads last month - 0 stars on GitHub - 1 maintainer
@codewars/codemirror-lambda-calculus 0.3.4
Lambda Calculus mode for CodeMirror
7 versions - Latest release: over 1 year ago - 1 dependent package - 13 downloads last month - 1 stars on GitHub - 1 maintainer
thaw-interpreter 0.0.7
Programming language interpreters, including LISP, Scheme, and Prolog.
7 versions - Latest release: over 3 years ago - 82 downloads last month - 1 stars on GitHub - 1 maintainer
@cicada-lang/lang-practices 0.2.3
Use [S-expression](https://github.com/cicada-lang/sexp) as overall syntax, to expression ideas cl...
1 version - Latest release: over 1 year ago - 0 downloads last month - 28 stars on GitHub - 1 maintainer
Top 8.3% on npmjs.org
combinators-js 3.0.0
Some combinators
14 versions - Latest release: over 5 years ago - 2 dependent packages - 1 dependent repositories - 35 downloads last month - 137 stars on GitHub - 1 maintainer
lambda-calculus-with-js 1.2.0
Using JS' anonymous functions to perform lambda calculus
4 versions - Latest release: about 2 months ago - 43 downloads last month - 1 stars on GitHub - 1 maintainer
formality-core-stdlib 0.1.0
Specification of the Formality proof and programming language
1 version - Latest release: over 6 years ago - 2 dependent packages - 1 dependent repositories - 2 downloads last month - 41 stars on GitHub - 1 maintainer
oiseau 1.0.0
A program language based on lambda calculus
2 versions - Latest release: over 5 years ago - 1 dependent package - 2 downloads last month - 0 stars on GitHub - 1 maintainer
@typescript-fp/compose 0.1.4
TypeScript-FP Compose
5 versions - Latest release: about 6 years ago - 2 dependent packages - 1 dependent repositories - 4 downloads last month - 2 maintainers
formality-js 0.2.64
Formality Language in JavaScript
63 versions - Latest release: over 4 years ago - 2 dependent packages - 70 downloads last month - 3,493 stars on GitHub - 1 maintainer
inet-lib 0.2.7
JavaScript Engine for Interaction Nets
23 versions - Latest release: over 7 years ago - 2 dependent packages - 1 dependent repositories - 57 downloads last month - 8 stars on GitHub - 1 maintainer
Top 8.7% on npmjs.org
church 2.1.1
Church encoding utility library for JavaScript
17 versions - Latest release: over 5 years ago - 2 dependent packages - 1 dependent repositories - 97 downloads last month - 127 stars on GitHub - 1 maintainer
pure-lambda 3.0.1
Lambda calculus expression parser and reducer
15 versions - Latest release: almost 7 years ago - 1 dependent package - 1 dependent repositories - 19 downloads last month - 2 stars on GitHub - 1 maintainer
@f0rr0/church-encoding 1.4.1
Church encodings for primitives
7 versions - Latest release: over 7 years ago - 1 dependent package - 1 dependent repositories - 6 downloads last month - 4 stars on GitHub - 1 maintainer
inl 1.0.0
See the inlined contents of a JS function
1 version - Latest release: over 8 years ago - 1 dependent package - 1 dependent repositories - 5 downloads last month - 1 maintainer
abstract-algorithm 0.2.5
Optimal evaluation of some lambda terms
27 versions - Latest release: over 2 years ago - 2 dependent packages - 1 dependent repositories - 48 downloads last month - 278 stars on GitHub - 1 maintainer
thaw-grammar 0.0.9
Implementations of the grammars of several programming languages, including LISP, Scheme, Prolog,...
10 versions - Latest release: over 3 years ago - 2 dependent packages - 1 dependent repositories - 19 downloads last month - 1 stars on GitHub - 1 maintainer
uwuchat 0.1.1 removed
uwuchat
2 versions - Latest release: almost 2 years ago - 10 downloads last month - 3,332 stars on GitHub - 1 maintainer
logos-ai 0.2.0 unpublished
Associative Interactive Recursive Structures
1 version - Latest release: about 2 years ago - 1 maintainer