Results for async_fsm

A finite state machine implementation with asyncio

Async Finite State Machine

A CLI tool to generate async_fsm code snippets from plantuml diagram.

Compile-time generated Tokio async finite state machines with explicit Rust behavior

Proc macro for generating Tokio async finite state machines

Session types for asynchronous communication between multiple parties (Aura flavored).

Async-first Finite State Machine library inspired by Akka (Classic) FSM

Proc-macro helpers for the obzenflow-fsm crate (derives + DSL)

Type-safe state machines with hierarchical states, guards, callbacks, and async support - Rust port of Ruby's state_machines gem

Event-driven FSM with ISR-safe dispatch for embedded systems. Zero-cost, no_std, type-safe state machines with interrupt and concurrency support.

Event sourcing for atomr — `Eventsourced` trait, recovery permitter, async snapshotter, persistent FSM, at-least-once delivery.

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.

Event sourcing for rakka — `Eventsourced` trait, recovery permitter, async snapshotter, persistent FSM, at-least-once delivery.