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

simple-graph-query

TypeScript evaluator for Forge expressions with browser-compatible UMD bundle

v2.3.0 URL: https://unpkg.com/simple-graph-query@2.3.0/dist/simple-graph-query.bundle.js

Open Browse Files

forge alloy expression-evaluator formal-methods antlr typescript browser umd

@uor-foundation/sigmatics

Sigmatics: the Atlas Sigil Algebra reference implementation from the UOR Foundation

v0.3.2 URL: https://unpkg.com/@uor-foundation/sigmatics@0.3.2/dist/index.js

Open Browse Files

sigmatics atlas sigil algebra symbolic-computation formal-methods verification resonance universal-language uor

forge-expr-evaluator

TypeScript evaluator for Forge expressions with browser-compatible UMD bundle

v1.1.0 URL: https://unpkg.com/forge-expr-evaluator@1.1.0/dist/forge-expr-evaluator.bundle.js

Open Browse Files

forge alloy expression-evaluator formal-methods antlr typescript browser umd

agda-web-docs-lib

Library for enhancing Agda-generated HTML documentation

v1.0.2 URL: https://unpkg.com/agda-web-docs-lib@1.0.2/dist/index.js

Open Browse Files

agda documentation html renderer formal-verification formal-methods