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 language10 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 engine13 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 compiler9 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 Codewars11 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 Calculus46 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
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
kind-lang 1.0.120
Kind-Lang in JavaScript107 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 Javascript1 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 web4 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 code6 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 CodeMirror7 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
14 versions - Latest release: over 5 years ago - 2 dependent packages - 1 dependent repositories - 35 downloads last month - 137 stars on GitHub - 1 maintainer
combinators-js 3.0.0
Some combinators14 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 calculus4 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 language1 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 calculus2 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 Compose5 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 JavaScript63 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 Nets23 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
17 versions - Latest release: over 5 years ago - 2 dependent packages - 1 dependent repositories - 97 downloads last month - 127 stars on GitHub - 1 maintainer
church 2.1.1
Church encoding utility library for JavaScript17 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 reducer15 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 primitives7 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 function1 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 terms27 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
uwuchat2 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 Structures1 version - Latest release: about 2 years ago - 1 maintainer
Related Keywords
lambda
17
functional-programming
14
interpreter
12
lisp
8
scheme
7
lazy-evaluation
6
recursion
6
s-exp
6
s-expression
6
sexp
6
formality
5
type-theory
4
combinatory-logic
4
typescript
4
javascript
4
LISP
3
programming languages
3
CLU
3
church-encoding
3
APL
3
logic
3
theorem-prover
3
proof-languages
3
proof-language
3
interaction-nets
3
moonad
3
dependent-types
3
Prolog
3
SASL
3
calculus
3
theorem-proving
3
Scheme
3
Smalltalk
3
TypeScript
3
functional
3
explicit-substitution
3
api
2
church
2
combinatory
2
curry
2
encoding
2
haskell
2
programming-languages
2
mathematics
2
combinators
2
CFG
2
context-free grammar
2
grammar
2
funcional-programming
2
interaction-calculus
2
untyped
2
pure
2
programming-language
2
type-system
2
functional-js
2
typescript-fp
1
cdr
1
cons
1
list
1
numeral
1
pair
1
predicate
1
jison
1
maths
1
function
1
json
1
interaction-combinators
1
I
1
grammars
1
prolog
1
combinator
1
ai
1
combinator-logic
1
curried
1
Language
1
compose
1
functionss
1
es6
1
internal-dsl
1
library
1
alonzo
1
dsl
1
Y
1
starling
1
sage
1
S
1
kestrel
1
K
1
idiot
1
boolean
1
car
1
birds
1
theory-of-computation
1
test-framework
1
immutable-datastructures
1
immutable
1
currying
1
composition
1
code-runner-image
1
code-runner
1