Similar repositories to bgoodspeed/idris-misc: