idris2-vim
by edwinb
Vim mode for Idris 2
AI summary
Idris editor
Vim mode plugin for the Idris programming language
- stars
- 76
- forks
- 26
- watching
- 9
Similar projects
Found by comparing what the projects do, not just their names.
Idris editor
A Vim plugin that provides syntax highlighting and editing capabilities specifically tailored for the Idris programming language
Erlang editor
A Vim plugin that provides syntax and indentation support for the Erlang programming language
Elm editor extension
Vim plugin providing syntax highlighting and editing support for the Elm programming language.
Syntax plugin
An aggregation of Perl-related syntax and helper files for Vim 5 editor
Typing tool
A Vim plugin that enables typing and formatting capabilities for the Typst document editor.
LLVM editor extension
Vim plugin support for the Low Level Virtual Machine (LLVM) toolkit
Vim plugin
A Vim plugin that enhances the editor's functionality with various Yamada-inspired features and settings.
Arduino plugin
Provides syntax highlighting and indentation support for Arduino in Vim
Nim editor plugin
A plugin for NeoVim that provides language-specific features and functionality for the Nim programming language.
Vim editor plugin
Elixir support for the Vim text editor, enabling syntax highlighting, automatic indentation, and integration with Ecto projects.
RDF editor
A Vim bundle for working with RDF knowledge bases
zah/nim.vim212
Nim plugin
Language plugin providing syntax highlighting, auto-indentation and project navigation features for the Nim programming language
Ruby IDE
A Vim configuration that provides syntax highlighting, indentation, omnicompletion, and other tools for Ruby development
R editor plugin
Improves Vim's support to edit R scripts
Elm IDE
An integrated development environment plugin for the Elm programming language
