All Projects
12 projects spanning the full Semantic OS architectureβfrom production systems to active research to exploratory prototypes. Some are polished and ready for use. Others are rough experiments, proofs-of-concept, throwing code at the wall to see what sticks. Maturity varies widely. We mark what's production-ready (β ), what's research-grade (π¬), what's alpha/experimental (π§), what's still just a spec (π), and what's purely conceptual (π).
The 6-Layer Semantic OS
Projects are organized by their layer in the Semantic Operating System architectureβfrom human interfaces down to persistent semantic memory:
Human Interfaces / SIM
reveal
Semantic exploration tool for codebases. Smart, progressive disclosure of code structure without reading entire files. Optimized for AI agents and developers.
Key innovations:
- Progressive disclosure (structure β elements β implementation)
- Zero configuration (smart defaults)
- 15+ file types supported (Python, JS, TS, Rust, Go, etc.)
- Perfect Unix integration (filename:line format)
Use cases: Codebase exploration, AI agent context optimization, Rapid code understanding, Token-efficient file reading
BrowserBridge
Alpha - core features workingEvent-driven browser automation for human-AI collaboration. Standards-based (CloudEvents, AsyncAPI, WebSocket), protocol-agnostic.
Key innovations:
- Event-driven architecture
- Standards-based protocols
- Semantic DOM extraction
- Human-AI collaboration primitives
Use cases: Browser automation, Web scraping, UI testing, Human-AI collaboration
Deterministic Engines
Morphogen
Universal, deterministic computation platform unifying audio synthesis, physics simulation, circuit design, geometry, and optimization in one type system, scheduler, and language.
Key innovations:
- Cross-domain composition (audio + physics + circuits in same program)
- Deterministic execution (bitwise-identical results)
- MLIR-based compilation
- Multirate scheduling (audio @ 48kHz, physics @ 240Hz)
Use cases: Audio synthesis, Physical modeling, Multi-domain simulation, Generative art
RiffStack
MVP - basic features working, needs stabilityStack-based live looping and audio synthesis with YAML-driven patch configuration. Real-time performance environment for musical expression.
Key innovations:
- Stack-based composition
- Live looping
- MLIR compilation for performance
- YAML patch description
Use cases: Live musical performance, Audio patching, Real-time synthesis
Multi-Agent Orchestration
Agent Ether
Planning phase - protocol specification underwayDeterministic protocols for multi-agent coordination. Message passing, state synchronization, and coordination primitives for intelligent agent systems.
Key innovations:
- Deterministic coordination
- Message-passing primitives
- State synchronization
- Provenance-complete interactions
Use cases: Multi-agent systems, Agent coordination, Distributed AI
Domain Modules
TiaCAD
Declarative parametric CAD system using YAML instead of code. Reference-based composition model for explicit, verifiable geometry.
Key innovations:
- YAML-based declarative syntax (no programming required)
- Reference-based composition (parts as peers, not hierarchy)
- Auto-generated spatial anchors
- Comprehensive schema validation
Use cases: Parametric 3D modeling, Manufacturing, Design automation, CAD workflows
SUP
Early development, API unstableSemantic UI platform translating intent into reactive UI components. Declarative UI description with multiple backend targets (React, Vue, native).
Key innovations:
- Intent β UI compilation
- Backend-agnostic (React, Vue, native)
- Semantic layout constraints
- Accessibility-first
Use cases: Declarative UI construction, Multi-platform UI, Accessibility automation
Universal Semantic IR
Pantheon
Working prototype, API evolvingUniversal semantic IR enabling cross-domain composition. Adapters translate domain languages (audio, CAD, UI) into common semantic graph for interoperability.
Key innovations:
- Universal graph representation
- Domain adapters (audio, CAD, UI, geometry)
- Semantic type system
- Cross-domain operators
Use cases: Cross-domain composition, Semantic transformation, Universal representation layer
Semantic Memory
Semantic Memory
Concept stage - architecture design in progressDurable, queryable knowledge graphs with versioning. Persistent semantic continuity across tasks and time.
Key innovations:
- Versioned semantic graphs
- Provenance-complete transformations
- Efficient incremental updates
- Cross-session continuity
Use cases: Persistent knowledge, Semantic versioning, Long-term memory
Cross-Cutting Infrastructure
GenesisGraph
Open standard for cryptographically verifiable process provenance. Three-level selective disclosure (A/B/C) enables proving compliance without revealing trade secrets.
Key innovations:
- Selective disclosure (prove compliance without revealing IP)
- DID-based identity (did:web, did:ion, did:ethr)
- Zero-knowledge proof templates
- Transparency log anchoring
Use cases: AI pipeline verification, Manufacturing compliance, Scientific reproducibility, Healthcare audit trails
SIL
The Semantic Infrastructure Lab itselfβvision, principles, research agenda, and unified architecture for the entire ecosystem.
Key innovations:
- Manifesto β Why SIL exists
- Technical Charter β System specification
- Principles β The 14 principles
- Unified Architecture Guide β The framework
Use cases: Research foundation, Architectural guidance
Prism
Design phase - specification in progressFormally verified microkernel query engine. Minimal trusted core with provable correctness guarantees.
Key innovations:
- Microkernel architecture (mechanism, not policy)
- Formal verification
- Minimal TCB (Trusted Computing Base)
- Composable query primitives
Use cases: Verified query execution, Microkernel research, Formal correctness