lean-agentic

High-performance WebAssembly theorem prover with dependent types, hash-consing (150x faster), Ed25519 proof signatures, MCP support for Claude Code, AgentDB vector search, episodic memory, and ReasoningBank learning. Formal verification with cryptographic

v0.3.2 URL: https://unpkg.com/lean-agentic@0.3.2/dist/index.js

Open Browse Files

@antisatori/tapl

lambda calculus compiler based on Types and Programming Languages

v0.0.5 URL: https://unpkg.com/@antisatori/tapl@0.0.5/index.js

Open Browse Files

rescript lambda-calculus compiler llvm

system-f-omega

A higher-kinded polymorphic type checker and experimental type system implementing System F‑Omega with traits, recursive types, variants, and kind inference.

v0.1.0 URL: https://unpkg.com/system-f-omega@0.1.1/lib/index.js

Open Browse Files

system-f system-f-omega typechecker polymorphism type-theory lambda-calculus higher-kinded-types type-system compiler

ljson

JSON extended with pure functions.

v2.1.0 URL: https://unpkg.com/ljson@2.1.0/LJSON.js

Open Browse Files

JSON lambda-calculus functional-programming functions

@alexo/lambda

Macro Lambda Calculus

v0.5.2 URL: https://unpkg.com/@alexo/lambda@0.5.2/index.js

Open Browse Files

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