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.
AI/Human task management system with file-based storage
A secure, high-performance messaging protocol library
A highly parallel Perl 5 interpreter written in Rust
vb6parse is a library for parsing and analyzing VB6 code, from projects, to controls, to modules, and forms.
Egui backend for the Godot Engine
A C-like language compiler for WebAssembly with first-class support for references and tables
A dynamically-typed, class-based OOP language with optional type annotations and pipeline operators
DNS-querying connector implementation for Philharmonic (dns_query capability — stub-resolver via /etc/resolv.conf).
A general-purpose Leaflet map component for Dioxus applications
A high-performance library for extracting HWP/HWPX documents into structured Markdown
IEC 61131-3 Structured Text (ST) parser with static analysis
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.