idris-vim
Idris editor
A Vim plugin that provides syntax highlighting and editing capabilities specifically tailored for the Idris programming language
Idris mode for vim
220 stars
32 watching
52 forks
Language: Vim script
last commit: about 4 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 edwinb/idris2-vim | Vim mode plugin for the Idris programming language | 76 |
 vim-erlang/vim-erlang-runtime | A Vim plugin that provides syntax and indentation support for the Erlang programming language | 101 |
 kaarmu/typst.vim | A Vim plugin for working with the Typst document format, providing syntax highlighting, concealment, and compilation features. | 298 |
 vala-lang/vala.vim | A Vim plugin providing syntax highlighting, indentation, snippets, and additional functionality for the Vala programming language. | 56 |
 alaviss/nim.nvim | A plugin for NeoVim that provides language-specific features and functionality for the Nim programming language. | 204 |
 hjson/vim-hjson | A Vim plugin that provides syntax highlighting and editor extension for the Hjson data interchange format | 28 |
 yaunj/vim-yara | A plugin for Vim editor to support Yara rule files with syntax highlighting and auto-indentation. | 14 |
 dart-lang/dart-vim-plugin | A Vim plugin that provides syntax highlighting and indentation for Dart code | 641 |
 thejian/elm.vim | Vim plugin providing syntax highlighting and editing support for the Elm programming language. | 0 |
 ziglang/zig.vim | A Vim configuration plugin that provides syntax highlighting and code formatting tools for the Zig programming language. | 469 |
 clojure-vim/clojure.vim | A Vim plugin providing syntax highlighting and indentation support for the Clojure programming language. | 35 |
 google/vim-jsonnet | A Vim plugin for syntax highlighting and filetype detection for the Jsonnet programming language. | 157 |
 vim-perl/vim-perl | An aggregation of Perl-related syntax and helper files for Vim 5 editor | 496 |
 vim-ruby/vim-ruby | A Vim configuration that provides syntax highlighting, indentation, omnicompletion, and other tools for Ruby development | 1,981 |
 blankname/vim-fish | An extension that enhances the editing experience of fish scripts within Vim by providing features like syntax highlighting and code formatting. | 35 |