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 secure, high-performance messaging protocol library
rustgym solutions
Experimental Rust implementation of the Millrace runtime.
⌨️ $ The official command-line interface (CLI) for managing Rullst applications.📜🦀🌐
📜🦀🌐 Framework Web FullStack for Rust language 🌐🦀📜
JSX-like compilation macros for Rullst framework
A Trie (prefix tree) implementation
Common HTTP utilities and patterns for LMRC Stack applications
Enterprise API gateway with rate limiting, authentication, GraphQL, and WebSocket support for OxiGDAL
Determines the MIME type of a file by traversing a filetype tree.
Determines the MIME type of a file by traversing a filetype tree.
A linting tool that helps you find any routes defined in your routes.rb file that don't have a corresponding controller action, and find any _path or _url calls that don't have a corresponding route in the routes.rb file.
route checker gem helps to find unused routes and unreachable actions in rails application.