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.
netsky observability database
Causal consistency at nanosecond latency. Algebraic invariants without coordination.
DSFB-Gray Structural Semiotics Engine: Deterministic Rust crate auditing with structural code-quality interpretation, assurance scoring, and attestation export. Core observer modules remain no_std-compatible when built without the default std feature.
Security log pipeline: ingest, normalize, correlate. Inspired by D3 Security Morpheus.
Cycle-accurate emulator for the Raspberry Pi RP2040 (dual Cortex-M0+ + PIO).
BitLocker Control Utility Automates the process of mounting and unmounting BitLocker encrypted drives using dislocker.
Compile-time diagnostic and prescription tool for Rust projects
A Kubernetes operator to automate workload updates based on container image changes
Spec-first, cancel-correct, capability-secure async runtime for Rust.
Universal coherence engine using sheaf Laplacian mathematics for AI safety, hallucination detection, and structural consistency verification in LLMs and distributed systems
Rust SDK for the Agent Control Specification runtime.