GitHub repository: regevbr/ts-checked-fsm
Description: TypeScript library providing compile-time checking for state machine transitions