IO layer for the transforms crate with ROS2 and Minot.
Mobile deployment support for TrustformeRS (iOS, Android)
Computational category theory in Rust: all constructions as Kan extensions
IO operations for transforming between 3D coordinate frames.
Deterministic orchestrator for spatial transcriptomics: IO, field transforms, core math, and 3D export.
AI/Human task management system with file-based storage
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 macro collection to pipe |> your functions calls, like in functional languages such as F#, Elixir and OCamel.
A macro collection to pipe |> your functions calls, like in F# or Elixir.
Rust bindings for the Listen Notes Podcast API
Proc macros for runtara agent definitions
Simple mapping of async IO operations
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.