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.
Agent-oriented repository harness and MCP runtime for Rust application repos.
Official OpenSearch Rust client
e is for Example. A command-line tool for running and exploring source, examples, and binaries from Rust projects. It will run the first example, if no options are given.
High-performance AI coding agent CLI - Rust port of Pi Agent
A Rust-native release automation tool inspired by GoReleaser
A full-stack API framework for Rust, inspired by Django and Django REST Framework
A modern dotfile manager with GNU Stow-style symlink management and automated setup scripts
TUI interface for Integrated Reasoning's accelerated solver API
Low-level, cross-platform RAII wrapper and utilities for raw OS sockets, mirroring Bitcoin Core networking semantics (send/recv, timeouts, readiness, error classification).
Lightweigth and flexible access control list (ACL) implementation for privilege management.
Portable repo-local guardrails bootstrap utility for reviewable project operating baselines