XCENA mu Library
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.
rust native goroutines
Pyo3 bindings for spenso
Creates Linux `tree`-style renderings of MuMu values
TBLIS wrapper in Rust
Network tools plugin for the Lava language
Scientific computing toolkit — mathematics, physics, chemistry, biology, astronomy, geology, meteorology.
A tool (cli & lib) to find local git repositories.
Platform Initialization (PI) Specification definitions and support code in Rust.
Izzo's revisited Lambert solver (single & multi-rev, short & long way), no_std-friendly
Helper functions for UEFI Rust applications
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.