Similar repositories to cheery/idris-vim: