Macro implementation for #[derive(Locker)]
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.
A secure, high-performance messaging protocol library
Macro to aquire `std::syn::RwLock` or `std::syn::Mutex` locks with consistent order to prevent deadlock
Experimental compiler-checked deadlock-freedom (procmacro crate)
A lock-free buddy allocator for `no_std`.
Bringing builder pattern to defeat deadlocks
Derive-macro-based entity persistence for Noxu DB
Derive macros for the Noxu DB Direct Persistence Layer (Entity, PrimaryKey, SecondaryKey)
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