Search

variant

Variant types (a.k.a. Discriminated Unions) in TypeScript

v2.1.0 URL: https://unpkg.com/variant@2.1.0/lib/index.js

OpenBrowse Files

typescriptvarianttype-theory

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

OpenBrowse Files

leantheorem-proverdependent-typesformal-verificationwasmwebassemblyhash-consingtype-theoryproof-assistantlean4type-checkerlambda-calculuscurry-howardpropositions-as-typesmodel-context-protocolmcpmcp-serverclaude-codeai-assistantllm-toolsarena-allocationzero-copyperformancetypescriptbrowsernodejscli-toolformal-methodsverificationcorrectnessde-bruijnterm-rewritingagentdbvector-searchvector-databaseepisodic-memoryreasoning-bankproof-learningsemantic-searchpattern-recognitionproof-recommendationsai-learninged25519digital-signaturescryptographic-attestationproof-signingagent-identitybyzantine-consensustamper-detectionchain-of-custodynon-repudiationdistributed-trust

@paarth/variant

Variant types (a.k.a. Discriminated Unions) in TypeScript

v0.9.4 URL: https://unpkg.com/@paarth/variant@0.9.4/lib/index.js

OpenBrowse Files

typescriptvarianttype-theory

escoc

A nano proof language.

v0.1.2 URL: https://unpkg.com/escoc@0.1.2/main.js

OpenBrowse Files

theorem-provinglambda-calculusfunctional-programmingtype-theory

mihama

A Modern Functional and Dependent Type Programming Language Base on Rust

v0.0.1 URL: https://unpkg.com/mihama@0.0.1

OpenBrowse Files

functionaldependent-typelanguagetype-theoryparser