A highly parallel Perl 5 interpreter written in Rust
High-performance AI coding agent CLI - Rust port of Pi Agent
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.
Zero overhead. Zero compromise. 100% Rust. The fastest, smallest AI assistant.
Intervals arithmetic with any combination of open, closed or infinite bounds, along with operations like intersection, convex hull, union, difference,...
Rust OLAP analytical verb metadata for Tigrbl.
Rust OLTP CRUD and bulk handler semantics for Tigrbl.
Rust realtime, stream, transfer, and datagram verb metadata for Tigrbl.
Rust atom catalog, phase algebra, and sys handler atoms for Tigrbl.
Rust in-memory engine for Tigrbl with row-store and column-store strategies.
Rust Postgres engine for Tigrbl.
Rust SQLite engine for Tigrbl.
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.