Start with one of my favourites
You Meet in a Tavern - a rules-light D&D alternative
The birth of a new TTRPG for new players
A Brainfuck Interpreter That Runs in the Typechecker
And finding the first 4 prime numbers in under 9 GB of RAM
I Patched the TypeScript Compiler to Add Up Nine Numbers
Solving HackerRank problems in the typesystem