Utilities to support transactional versioning
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.
An ergonomic, high-level RocksDB wrapper for Rust. Features CF-aware optimistic & pessimistic transactions, advanced routing for merge operators and compaction filters, performance tuning profiles, batching, TTL values, and DAO macros.
Transaction management and locking for Noxu DB
Umbrella crate re-exporting the highlandcows library suite
Persistent ISAM key/value store with ACID transactions, backed by an on-disk B-tree
Storage engine internals for the obj embedded document database (pager, WAL, B-tree, codec, catalog).
Pillars for Transactional Systems and Data Grids
Build Your Own Database in Rust!
MVCC page-level versioning for concurrent writers
Unified client for kevy — switch between in-process embedded and TCP server backends with a single URL.
Copy-on-write B+ tree with page-aligned storage, split/merge, and crash-safety primitives.