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 production-quality SCSS compiler in Rust
CLI tool to manage OpenCode agent permissions via template+override system
High-performance incremental Sass parser for the oak ecosystem with flexible configuration, supporting CSS preprocessing and styling.
SCSS CSS preprocessor language parser with support for modern CSS features and dynamic styling.
High-performance incremental D language parser for the oak ecosystem with flexible configuration, supporting systems programming and native development.
CLI tool to prepare codebases for AI agents by generating outlines, memory files, and reading rules
The zero-runtime OpenAPI 3.1 compiler for Rust. Extracts, links, and merges code-first documentation.
CLI tool to prepare codebases for AI agents by generating outlines, memory files, and reading rules
Declarative and expressive data seeding for PostgreSQL
Parser and CSS Modules intermediate extractor for Omena CSS analysis
Main abstractions for the Sails framework