Results for annotate_controllers

A Rust pest parser for Java Spring controllers

Runtime resolution of UCP schema annotations

Procedural macros for Karbon framework (route annotations, controller macros)

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

Annotations for controlling C/C++ header generation from Rust.

Convert OMG KeBNF grammars to ANTLR4 and tree-sitter -- parses all 640 KerML + SysML v2 rules

Convert OMG KeBNF grammars to ANTLR4 and tree-sitter -- parses all 640 KerML + SysML v2 rules

A terminal plotting library.

High-performance 2D plotting library for Rust

DSFB deterministic residual structuring framework for Upstream and Midstream Oil and Gas systems. A deterministic, read-only, observer-only augmentation layer for typed residual interpretation. The core engine is no_std + no_alloc. Unsafe code is forbidden in the library. Dataset loading, fleet evaluation, reporting, and executable examples are std-gated.

Agent-native source annotation for semantic program control.