cryptol.vim
Cryptol editor
A Vim plugin that provides language-specific functionality for the Cryptol programming language.
A ViM plugin for the Cryptol programming language.
2 stars
4 watching
3 forks
Language: VimL
last commit: about 3 years ago Related projects:
Repository | Description | Stars |
---|---|---|
vim-erlang/vim-erlang-runtime | A Vim plugin that provides syntax and indentation support for the Erlang programming language | 101 |
herringtondarkholme/yats.vim | A Vim plugin that provides advanced TypeScript syntax highlighting and support. | 651 |
ledger/vim-ledger | Tools and features for editing Ledger files in Vim | 374 |
clojure-vim/clojure.vim | A Vim plugin providing syntax highlighting and indentation support for the Clojure programming language. | 35 |
ziglang/zig.vim | A Vim configuration plugin that provides syntax highlighting and code formatting tools for the Zig programming language. | 469 |
amadeus/vim-xml | A Vim plugin that provides syntax highlighting and functionality for working with XML files in the Vim editor. | 8 |
zakuro9715/vim-vtools | Tools for formatting and testing Go code in the Vim editor | 17 |
vala-lang/vala.vim | A Vim plugin providing syntax highlighting, indentation, snippets, and additional functionality for the Vala programming language. | 56 |
tomlion/vim-solidity | A Vim plugin that provides syntax highlighting and features for the Solidity programming language used in Ethereum development | 489 |
naheel-azawy/vlang-mode | A tool for editing and interacting with the V programming language in Emacs. | 10 |
kaarmu/typst.vim | A Vim plugin for working with the Typst document format, providing syntax highlighting, concealment, and compilation features. | 298 |
justinj/vim-pico8-syntax | Customizes Vim's syntax highlighting to support Pico-8's scripting language by removing Lua standard library functions and adding Pico-8-specific ones. | 62 |
jalvesaq/nvim-r | Improves Vim's support to edit R scripts | 966 |
vim-perl/vim-perl | An aggregation of Perl-related syntax and helper files for Vim 5 editor | 496 |
alaviss/nim.nvim | A plugin for NeoVim that provides language-specific features and functionality for the Nim programming language. | 204 |