Convert a log::Record to a serializable format. Not as straightforward as it sounds, because the log::Record contains a non-serializable type. This crate provides a way to deal with situation.
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.
Persistent storage and transaction log for RYO
Database contract interface — Props, traits, and typestate for SQL domain boundaries
Flexible metadata collection layered on top of the tracing crate. Accumulate structured sections, timings, and issues during processing and emit them as JSON alongside the usual tracing spans.
Database internals in Rust — B-trees, WAL, ARIES recovery, query optimization, ACID transactions. Learn databases by reading Rust.
Rust-native schema-first framework for typed HTTP APIs, generated clients, and backend services.
Umbrella crate re-exporting the highlandcows library suite
Persistent ISAM key/value store with ACID transactions, backed by an on-disk B-tree
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