[Xavdidtheshadow]

One of my favorites is Josh Goldberg's implementation of Tic-Tac-Toe in the type system:

https://blog.joshuakgoldberg.com/type-system-game-engines/