A menagerie of cute implementations of modern typechecking algorithms - View it on GitHub