GitHub repository: statebox/fsm-oracle
Primary language: Idris
Description: Finite state machines as graphs