JSPM

Stack-based, concatenative language for composable transformations - TypeScript/JavaScript runtime

Advanced mathematical AI interpretability: Category Theory, Homotopy Type Theory, Spectral Analysis, Causal Inference, Quantum Topology, and Sheaf Cohomology for WebAssembly. Implements functorial retrieval, univalence axioms, Cheeger bounds, do-calculus,

Morphism governance CLI — init, validate, score, doctor

High-performance RDF/SPARQL database with AI agent framework and cross-database federation. GraphDB (449ns lookups, 5-11x faster than RDFox), HyperFederate (KGDB + Snowflake + BigQuery), GraphFrames analytics, Datalog reasoning, HNSW vector embeddings. Hy

Category theory MCP server — morphisms, functors, natural transformations, convergence

A React library for creating commutative diagrams with a declarative JSON syntax.

Category-theoretic system design framework for scalable, modular systems using mathematical foundations

A Model Context Protocol (MCP) server for Kuzu graph databases. Enables LLMs like Claude to execute Cypher queries and analyze graph data with path invariance support.

An implementation of acsets in typescript, compatible with ACSets.jl and pyacsets

Category-theoretic documentation tool with MCP server support for AI assistants

Universal reactive signal library with complete platform features: signals, animations, CRDTs, scheduling, DOM integration. Works identically across React, SolidJS, Svelte, Vue, and Qwik.

KGC Multiverse - Universe branching, forking, and morphism algebra for knowledge graphs