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.

GitHub

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