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 cross-platform package and tool manager with configuration sync
Polygon Any Angle Pathfinding
Core library for microscopic traffic simulation via cellular automata.
An async implementation of VNC client side protocol
Rust client for TheHive API, enabling programmatic management of alerts, cases, observables, tasks, and other security incident response entities.
Reusable Rust drivers and examples for the Keyestudio MiniCar on BBC micro:bit v2
Convert RGB 24-bit colors into ANSI 256 (8-bit) color codes with zero dependencies and `const fn`
A fast, configurable reverse proxy with automatic HTTPS, Lua scripting, and blue-green deployments
A simple crate for basic terminal manipulation
Board support package for STM32F411E-DISCO (Discovery) development board with Embassy async framework
Collection GUI environment for harvesting user mouse data