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.
Rust bindings for the Listen Notes Podcast API
A regular expression engine targeting EcmaScript syntax
CLI para crear proyectos rápidamente (Express, Rust, Python, Angular, Vue, React)
A scanner/tokenizer for JS files
A js-regex validator
A powerful natural language calculator with a terminal user interface
Hammersbald - fast persistent store for a blockchain
High-performance JSDoc parser with Binary AST format and lazy decoder, inspired by oxc
RiDDLe is a language for the definition of timeline-based domains and problem definitions, designed to facilitate the integration with solvers and to increase modularity and reusability of domain models.
Utility for running Rust snippets
Date range picker component library for Yew - react-date-range inspired
No description provided.
No description provided.
No description provided.