Attribute macros for defining circular type references and recursive trait implementations in Rust
AXON v1.5.1 — first crates.io publication of the AXON language full-stack runtime. Lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the native Rust runtime: typed channels (TypedEventBus with QoS×5, π-calculus mobility, capability extrusion via shield D8 — Fase 13.f.2), Free Monad CPS handlers (Fase 2), lease kernel + reconcile loop (Fase 3+5), Epistemic Security Kernel (ESK Fase 6), Trust Types + ReplayLog (Fase 11.a+11.c), Stateful PEM over WebSocket (Fase 11.d), Ontological Tool Synthesis (Fase 11.e), Mobile Typed Channels (Fase 13). Crate publishes as `axon-lang` to mirror the Python PyPI package; library import remains `use axon::*` so existing call sites keep working unchanged.
Attribute macros for defining circular type references and recursive trait implementations in Rust
Observing and serializing mutations
Observing and serializing mutations
Solve circular trait obligation
Mutica programming language
Testing and performance evaluation suite for Adapton
Recursion schemes (cata, ana, hylo, para, apo, histo, futu, zygo, chrono) for the Industrial Algebra ecosystem
A stream processor language.
Session types for multi-party asynchronous communication.
Choreographic programming for Rumpsteak - effect-based distributed protocols