idris2-vim
Idris editor
Vim mode plugin for the Idris programming language
Vim mode for Idris 2
76 stars
9 watching
26 forks
Language: Vim script
last commit: about 2 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 idris-hackers/idris-vim | A Vim plugin that provides syntax highlighting and editing capabilities specifically tailored for the Idris programming language | 220 |
 vim-erlang/vim-erlang-runtime | A Vim plugin that provides syntax and indentation support for the Erlang programming language | 101 |
 thejian/elm.vim | Vim plugin providing syntax highlighting and editing support for the Elm programming language. | 0 |
 vim-perl/vim-perl | An aggregation of Perl-related syntax and helper files for Vim 5 editor | 496 |
 kaarmu/typst.vim | A Vim plugin for working with the Typst document format, providing syntax highlighting, concealment, and compilation features. | 298 |
 rhysd/vim-llvm | Vim plugin support for the Low Level Virtual Machine (LLVM) toolkit | 52 |
 mattn/yamada2-vim | A Vim plugin that enhances the editor's functionality with various Yamada-inspired features and settings. | 4 |
 sudar/vim-arduino-syntax | Provides syntax highlighting and indentation support for Arduino in Vim | 131 |
 alaviss/nim.nvim | A plugin for NeoVim that provides language-specific features and functionality for the Nim programming language. | 204 |
 elixir-editors/vim-elixir | Elixir support for the Vim text editor, enabling syntax highlighting, automatic indentation, and integration with Ecto projects. | 1,313 |
 seebi/semweb.vim | A Vim bundle for working with RDF knowledge bases | 7 |
 zah/nim.vim | Language plugin providing syntax highlighting, auto-indentation and project navigation features for the Nim programming language | 212 |
 vim-ruby/vim-ruby | A Vim configuration that provides syntax highlighting, indentation, omnicompletion, and other tools for Ruby development | 1,981 |
 jalvesaq/nvim-r | Improves Vim's support to edit R scripts | 966 |
 elmcast/elm-vim | An integrated development environment plugin for the Elm programming language | 573 |