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 5 years agoRelated 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. | 654 |
 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. | 37 |
 ziglang/zig.vim | A Vim configuration plugin that provides syntax highlighting and code formatting tools for the Zig programming language. | 481 |
 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. | 58 |
 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. | 11 |
 kaarmu/typst.vim | A Vim plugin that enables typing and formatting capabilities for the Typst document editor. | 304 |
 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 | 967 |
 vim-perl/vim-perl | An aggregation of Perl-related syntax and helper files for Vim 5 editor | 497 |
 alaviss/nim.nvim | A plugin for NeoVim that provides language-specific features and functionality for the Nim programming language. | 205 |