I have a repository where I make classic programs (game of life, sudoku solver, brainfuck interpreter, etc) but entirely within Typescript's type system

https://github.com/ruyili/cursed-typescript/