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
Web scanner built for actual pentests. Fast, modular, Rust.
Advanced memory management and optimization tools for KotobaDB
High-performance Rust implementation of GNU sort with zero-copy operations, SIMD optimization, and parallel processing
Post-processing shader framework for OpenGL apps via LD_PRELOAD
A memory-safe URL transfer library — idiomatic Rust reimplementation of libcurl
C ABI compatibility layer for liburlx — drop-in replacement for libcurl
urlx — a memory-safe command-line URL transfer tool, drop-in replacement for curl
High-performance memory pooling library with type-safe handles, predictable latency, and zero fragmentation. Perfect for game engines, real-time systems, and high-churn workloads.
A simple and efficient in-memory cache with support for filtering, ordering, limiting results, event notifications and eventual persistence
Cryptographically chained packet transport with QUIC, cross-platform TUN, and bug fixes