A highly parallel Perl 5 interpreter written in Rust
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.
Dual-port SMTP server: Secure submission (465) & Inbound forwarding (25) / 双端口 SMTP 服务：安全提交 (465) 与入站转发 (25)
Built-in recognizers for Gaze
Shared value contracts for Gaze
Deterministic one-way data sanitization engine
Embeddable SMTP capture engine: server, multi-mailbox lifecycle, chaos simulation, SQLite persistence, HTTP API.
SIMD accelerated JSON parser
Deterministic one-way data sanitization engine
HEDL canonicalization and pretty-printing
SMTP protocol parser, formatter, and session state machine (RFC 5321) — zero I/O, async-runtime-agnostic.
Next-gen MTA. Secured, Faster and Greener