A model checker for implementing distributed systems.
Formal-verification primitives for maw — oracle, model, and Stateright integration
Passphrase-based rendezvous for iroh-gossip swarms via Mainline DHT
Cross-machine AI session daemon — bridges Claude Code sessions via tmux injection and Nostr P2P
Multi-Agent Workflow coordinator for Manifold git workspaces
Embedded transactional key-value database engine: ACID transactions, log-structured B+tree, crash recovery, optional master-replica replication, XA, and typed persistence.
Serialization bindings for Noxu DB
Log file garbage collection for Noxu DB
Iterator-based collection views for Noxu DB
Configuration parameter system for Noxu DB
Noxu DB - An embedded transactional database engine
Database internals for Noxu DB