Examples of finite state machines with a thin runtime APIs captured in straight forward types. While the type examples are runtime agnostic, the import statements used only work in the Deno runtime.
alejandroq/typed-finite-state-machines-typescript
Using the Typescript compiler to program a finite state machine.