A set of traits to astract over linear-like types.
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.
Make xenharmonic music and explore musical tunings.
Differential graded algebras for agents — the algebraic structure underlying cohomology
A high-performance, constant-time implementation of binary tower fields (F(2^k)) optimized for GKR-based provers, Virgo, and Binius protocols.
Intermediate representation (IR) and AST types for TensorLogic
Graph neural network components for ToRSh - powered by SciRS2
Categorical foundations unifying symplectic mechanics and agent behaviors
VeriPB is a proof checker for verifying pseudo-Boolean certificates of satisfiability, unsatisfiability, and optimality bounds.
A framework-agnostic Procedural Modelling crate.
Functional analysis on multivector spaces - Hilbert spaces, linear operators, and spectral theory
Neural network building blocks module for SciRS2 (scirs2-neural) - Minimal Version