Announcing `statig`: Hierarchical state machines for event-driven systems (using GAT’s)

• statig

  4 535 2.8 Rust

  Hierarchical state machines for designing event-driven systems

The thing is that these handlers can result in different transitions or even no transitions at all (see the calculator example). Maybe one way to think of it is that "state" is the result of all events that have occurred and determines how the system responds to new events. So in that sense the method is the state. (Idk, does that make sense?)

• stateright

  8 1,516 7.0 Rust

  A model checker for implementing distributed systems.

  

stateright - which is meant for distributed state machines and includes a full on model checker

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• rust-fsm-example

  1 0 10.0 Rust

Nice implementation. If I had known about it earlier I would use it gladly. I was looking for a small transparent FSM implementation but was not able to find a suitable crate, I have made it myself. Here is a link to an example https://github.com/mmaslyukov/rust-fsm-example/blob/main/src/fsm.rs

Suggest a related project