TypeScript library providing compile-time checking for state machine transitions - View it on GitHub