fi-night (cargo): Statically typed Finite State Machine and Pushdown Automaton implementation
Keywords: statically-typed|moore-machine|pushdown-automaton|fsm|finite-state-machine|procedural-macro|rust|state-machine