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.
AI/Human task management system with file-based storage
A highly parallel Perl 5 interpreter written in Rust
Tempo extensions of Alloy
Security scanner for AI agents
Bridge between Dioxus server functions and Cloudflare Workers
dot-http is a text-based scriptable HTTP client. It is a simple language that resembles the actual HTTP protocol but with additional features to make it practical for someone who builds and tests APIs.
The vsr command-line interface for very_simple_rest
Simple HTTP Server
CLI that manages browsers and exposes them over CDP/BiDi for agent-driven development. Includes an optional MCP server.
Oxigraph CLI tool and SPARQL HTTP server
Enterprise-grade AI-powered Rust development companion with comprehensive automation, monitoring, and deployment capabilities
Auth Origin Control checks the origin of the request at app entry
Checks id at entry: id of users on client apps and on intermediary apps (sso_clyent), id of apps on intermediary apps (auth_origin_control), id