#funprojects — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #funprojects, aggregated by home.social.
-
🐒 Welcome to the 'Typechecker Zoo' 🦓 where we pretend that reinventing the wheel is a fun pet project! With more keyboard shortcuts than actual content, this "romp" is all about making toy models of things that already exist. 🎪 Why use modern tools when you can play with toy languages instead? 🙃
https://sdiehl.github.io/typechecker-zoo/ #TypecheckerZoo #ReinventTheWheel #ToyLanguages #FunProjects #KeyboardShortcuts #HackerNews #ngated