A lightweight bootloader supporting firmware updates in a power-fail-safe way, with trial boots and rollbacks.
Service Discovery & Distributed Key-Value Store
High-performance, schema-agnostic, backend-agnostic event bus
High-performance, schema-agnostic, backend-agnostic event bus
A CLI for building, inspecting, extracting, and verifying MBR-backed disk images
Forensic MBR parser — structure, anomaly detection, gap analysis, slack-space carving, and filesystem fingerprinting
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.
Safe Rust wrapper around the `util-linux/libblkid` C library
Bootloader lib for RP2040 chips
Bootloader lib for STM32 chips
Clean-room library + CLI for Microsoft-compatible MBR and FAT32/NTFS boot records.
A fast minimum-weight perfect matching solver for quantum error correction
No description provided.
No description provided.