Procedural macros for causal
Rust-native GPU kernel authoring framework. Write GPU compute kernels in Rust, automatically lower to PTX. Cross-platform (Windows + Linux), type-safe, no CUDA C++ required.
EXPERIMENTAL: CRDT layer for xaeroflux
EXPERIMENTAL: actor layer for xaeroflux
EXPERIMENTAL: actor layer for xaeroflux
Equation-based autonomous agent framework for the lmm ecosystem.
Session types for multi-party asynchronous communication.
Choreographic programming for Rumpsteak - effect-based distributed protocols
Procedural macros for Rumpsteak session types (Aura flavored).
Lean verification bridge for Rumpsteak session types
Session type theory algorithms - projection, merge, subtyping
Core session types for Rumpsteak - matching Lean definitions