Similar repositories to MarcWeber/vim-addon-agda: