# idris-hackers/idris-vim

<https://repo.masters-masters.com/en/repos/idris-hackers/idris-vim>

[Home](https://repo.masters-masters.com/en) › [idris-hackers](https://repo.masters-masters.com/en/owners/idris-hackers) › [idris-vim](https://repo.masters-masters.com/en/repos/idris-hackers/idris-vim)

idris-hackers/idris-vim has 221 stars on GitHub. Its RepoMasters card: Prototype tier. Idris mode for vim Language: Vim Script.

| Field | Value |
| --- | --- |
| Owner | [idris-hackers](https://repo.masters-masters.com/en/owners/idris-hackers) |
| Stars | 221 |
| Forks | 53 |
| Language | [Vim Script](https://repo.masters-masters.com/en/languages/vim-script) |
| License | None |
| Created | 2013 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [idris-hackers/idris-vim](https://github.com/idris-hackers/idris-vim) |

## Repository

Idris mode for vim

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by idris-hackers

- [idris-hackers/software-foundations · ★ 460 · Idris · Alpha](https://repo.masters-masters.com/en/repos/idris-hackers/software-foundations)
- [idris-hackers/idris-mode · ★ 275 · Emacs Lisp · Alpha](https://repo.masters-masters.com/en/repos/idris-hackers/idris-mode)
- [idris-hackers/idris-demos · ★ 195 · Idris · Prototype](https://repo.masters-masters.com/en/repos/idris-hackers/idris-demos)
- [idris-hackers/idris-koans · ★ 181 · Idris · Prototype](https://repo.masters-masters.com/en/repos/idris-hackers/idris-koans)
- [idris-hackers/idris-crypto · ★ 121 · Idris · Prototype](https://repo.masters-masters.com/en/repos/idris-hackers/idris-crypto)
- [idris-hackers/IdrisWeb · ★ 109 · TeX · Prototype](https://repo.masters-masters.com/en/repos/idris-hackers/IdrisWeb)

## Nearby in Vim Script

- [othree/eregex.vim · ★ 223 · Vim Script · Prototype](https://repo.masters-masters.com/en/repos/othree/eregex.vim)
- [jdonaldson/vaxe · ★ 223 · Vim Script · Prototype](https://repo.masters-masters.com/en/repos/jdonaldson/vaxe)
- [kana/vim-submode · ★ 221 · Vim Script · Prototype](https://repo.masters-masters.com/en/repos/kana/vim-submode)
- [esamattis/slimux · ★ 220 · Vim Script · Prototype](https://repo.masters-masters.com/en/repos/esamattis/slimux)
- [mhinz/vim-mix-format · ★ 220 · Vim Script · Prototype](https://repo.masters-masters.com/en/repos/mhinz/vim-mix-format)
- [jferris/config\_files · ★ 219 · Vim Script · Prototype](https://repo.masters-masters.com/en/repos/jferris/config_files)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.