High-performance DHCP server with built-in HA support. Dual-stack (DHCPv4/DHCPv6), active/active and Raft HA, single binary, no external DB.
AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.
SQLite integration and utilities for the Runar ecosystem.
Talos Replicator for serial installation of statemaps and updating snapshot of cohort db.
The most basic sqlite backed db that you need to do replication on ssb
Connector SDK and runtime for Rivven - sources, sinks, and transforms
Multi-protocol RPC framework built on top of tokio
Replication and high availability for Noxu DB
Concurrently Replicated DataBase
SQLite replication
S3-backed container layer persistence with crash-tolerant uploads
Embedded transactional key-value database engine: ACID transactions, log-structured B+tree, crash recovery, optional master-replica replication, XA, and typed persistence.