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 4 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	497
kaarmu/typst.vim	A Vim plugin that enables typing and formatting capabilities for the Typst document editor.	304
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.	205
elixir-editors/vim-elixir	Elixir support for the Vim text editor, enabling syntax highlighting, automatic indentation, and integration with Ecto projects.	1,312
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,980
jalvesaq/nvim-r	Improves Vim's support to edit R scripts	967
elmcast/elm-vim	An integrated development environment plugin for the Elm programming language	573