Declarative, validation-only FSM library with invariants and deterministic auditability
YAML-driven audit FSM engine for methodology-based audit artifact generation
Workflow orchestration engine for ironflow with FSM-based run lifecycle
Vim FSM, motion grammar, and ex commands. Pre-1.0 churn.
Terminal UI for WireGuard and OpenVPN with real-time telemetry and leak guarding
High-quality Indic script transliteration engine using FSM + Trie.
Vim-modal terminal editor: standalone TUI built on the hjkl engine.
Async-first Finite State Machine library inspired by Akka (Classic) FSM
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.
Generic state machine engine for sequential state processing
DSFB Structural Semiotics Engine for Robotics Health Monitoring — a deterministic, non-intrusive observer layer that reads the residuals existing robot control, kinematic identification, and whole-body balance observers already compute, and structures them into a human-readable grammar of typed episodes. Read-only augmentation, not replacement, of incumbent PHM / FDD / MPC / observer pipelines.
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.