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 CLI client and MCP server for Backstage
Markdown → JSON AST for CleverScript / Relay hosts (WASM, JNI, Rust).
Full-stack code generator CLI: Axum + SeaORM + React + TypeScript + shadcn/ui
Core library for Romance CLI code generation
Embedded Tera templates for Romance CLI
High-performance JSON Logic evaluator with schema validation and dependency tracking. Built on blazing-fast Rust engine.
Async terminal UI framework inspired by React, built on top of ratatui and tokio.
Developer CLI for the ResQ autonomous drone platform
Stateful graph runtime for LLM workflows in Rust (community project; not affiliated with LangChain). Pregel-style execution: nodes, conditional edges, checkpoints, streaming. Optional adapters for Ollama, OpenAI, OpenRouter (OpenAI-compatible), and Anthropic; optional ReAct agent + tools. Crate import: rust_langgraph (underscore). Default features include in-memory checkpoints. Enable Cargo features explicitly for LLM modules (e.g. ollama, openai, openrouter, anthropic, prebuilt). See README.md on crates.io for copy-paste Cargo.toml, env vars, and common mistakes.
Bulma CSS components for Yew
mdigitalcn CLI - Scaffold projects and add @mdigitalcn/uikit components from GitHub