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 highly parallel Perl 5 interpreter written in Rust
DDO a generic and efficient framework for MDD-based optimization.
An LSP proxy to run LSP inside Docker containers.
a puppet server, at your command
An extendable scene graph made up of autonomous execution services known as nodes organized in a tree of processes. Inspired by Godot!
Provides the `NodeSys` macro for the `node_tree` crate.
A blazing-fast, uncompromising Islamic prayer time daemon and screen locker for Linux and Windows
HTTP REST API caching middleware, to be used between load balancers and REST API workers.
Mini REST server
The missing center — Universal Dirac operator and closure object proving all 14 executable theorems share one spectrum
A robust internationalization solution for Rust featuring compile-time validation, ISO 639-1 compliance, and TOML-based translation management.