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 highly parallel Perl 5 interpreter written in Rust
High-performance lightweight TCP protocol with reliability, compression, and fault tolerance
Open source prompt manager for developers. Terminal-native, sub-15ms operations, works with any AI tool.
A high-performance, database-driven job queue for Rust with PostgreSQL and MySQL support, featuring job prioritization, cron scheduling, event streaming (Kafka/Kinesis/PubSub), webhooks, rate limiting, Prometheus metrics, and comprehensive monitoring
Complete Rust toolkit for Arch Linux package management
Azure DevOps work item scraper with OpenSpec integration
Drop-in scope enforcement, authorization, and compliance helpers for security CLI tools
Rust-powered, drop-in replacement for pytest
Core types and abstractions for rpytest
Pure Rust daemon for rpytest - handles test execution, collection, and state management
IPC transport layer for rpytest
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.