Telegram WebApp SDK for Rust
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.
Powerful frontend framework based on Leptos
gen-platform — Rust-first canonical handle for the typed-dispatcher (typed-tagged-union catamorphism) substrate primitive. Re-exports TypedDispatcher + #[derive(TypedDispatcher)], ships a runtime Dispatcher<T> applicator for Rust consumers (controllers, daemons, reactive routers), and surfaces the typed catalog reflection so any pleme-io crate can stand up a typed dispatch surface against any closed variant universe. The 'common language' substrate primitive — see theory/QUIRK-APPLIER.md.
High-performance, schema-agnostic, backend-agnostic event bus
High-performance, schema-agnostic, backend-agnostic event bus
Server-driven reactive UI components for Axum — like Laravel Livewire, but for Rust
Proc macros for axum-wire — #[derive(Component)], #[wire_actions], html!
Control logic engine using event based and reactive blocks written in Rust.
Cached, composable, reactive surface for Vantage Vistas
High-level SDK for building collaborative applications with the Carnelia MDCS
Reactive semantic runtime — molecules, reactions, and effect actors for building LLM-backed applications as dataflow programs.