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.
Server side library for working with Expo using Rust. Includes a client to send push notifications to users of your mobile app using the Expo push notification services.
Mopro is a toolkit for ZK app development on mobile. Mopro makes client-side proving on mobile simple.
Terminal renderer for Mermaid and D2 diagrams - flowcharts, state diagrams, pie charts in Unicode/ASCII
Build fullstack web, desktop, and mobile apps with a single codebase.
Serve React apps with Dioxus runtime and IPC bridge
Graviton Core
Graviton Core API
F1 Nexus WASM modules for browser deployment
An extensible music player daemon written in Rust
Reactivie signals for Dioxus: Build fullstack web, desktop, and mobile apps with a single codebase.