idris-vim
Idris mode for vim
AI summary
Idris editor
A Vim plugin that provides syntax highlighting and editing capabilities specifically tailored for the Idris programming language
- stars
- 220
- forks
- 52
- watching
- 32
Similar projects
Found by comparing what the projects do, not just their names.
Idris editor
Vim mode plugin for the Idris programming language
Erlang editor
A Vim plugin that provides syntax and indentation support for the Erlang programming language
Typing tool
A Vim plugin that enables typing and formatting capabilities for the Typst document editor.
Vala editor plugin
A Vim plugin providing syntax highlighting, indentation, snippets, and additional functionality for the Vala programming language.
Nim editor plugin
A plugin for NeoVim that provides language-specific features and functionality for the Nim programming language.
Hjson editor
A Vim plugin that provides syntax highlighting and editor extension for the Hjson data interchange format
Yara editor plugin
A plugin for Vim editor to support Yara rule files with syntax highlighting and auto-indentation.
Dart editor
A Vim plugin that provides syntax highlighting and indentation for Dart code
Elm editor extension
Vim plugin providing syntax highlighting and editing support for the Elm programming language.
Zig editor
A Vim configuration plugin that provides syntax highlighting and code formatting tools for the Zig programming language.
Clojure Editor
A Vim plugin providing syntax highlighting and indentation support for the Clojure programming language.
Jsonnet editor
A Vim plugin for syntax highlighting and filetype detection for the Jsonnet programming language.
Syntax plugin
An aggregation of Perl-related syntax and helper files for Vim 5 editor
Ruby IDE
A Vim configuration that provides syntax highlighting, indentation, omnicompletion, and other tools for Ruby development
Script editor
An extension that enhances the editing experience of fish scripts within Vim by providing features like syntax highlighting and code formatting.
