Super Tiny Type Checker
Jamie Kyle, author of Super Tiny Compiler, also wrote an educational implementation of a type checker in the same vein. This one he never got around to publishing publicly on GitHub, but he did share it as a thread on Twitter.
It’s a super minimal implementation of a type checker which provides a great way for someone new to the concept — like myself — to start to understand the ideas in a concrete way.