Similar repositories to bgoodspeed/idris-strings: