A public repository for my miscellanea.