|
|
Emacs Lisp |
8 |
Spacemacs layer for fstar (wrapper for fstar-mode.el) |
Sep 22, 2022 |
|
|
Vim script |
227 |
Idris mode for vim |
Sep 25, 2022 |
|
|
VimL |
2 |
Haskell mode for vim |
Jan 28, 2023 |
|
|
None |
3 |
FStar Documentations in readthedocs |
Aug 08, 2019 |
|
|
Vim script |
4175 |
Markdown Vim Mode |
Aug 29, 2022 |
|
|
Vim script |
2 |
Markdown Vim Mode |
Jun 12, 2022 |
|
|
Vim script |
38 |
Markdown Vim Mode |
Aug 12, 2021 |
|
|
CoffeeScript |
1404 |
vim-mode improved |
Oct 06, 2022 |
|
|
Vim script |
8 |
Markdown Vim Mode |
Nov 17, 2022 |
|
|
Vim Script |
39 |
Markdown Vim Mode |
Apr 26, 2023 |
|
|
VimL |
4 |
Markdown Vim Mode |
Aug 13, 2019 |
|
|
TypeScript |
2 |
RemNote Vim mode |
Aug 11, 2023 |
|
|
None |
372 |
Ultimate Vim Mode for macOS |
Aug 19, 2022 |
|
|
Vim script |
23 |
iAwriter's Focus mode for vim |
Jul 10, 2022 |
|
|
Vim script |
59 |
Vim mode for Idris 2 |
Aug 20, 2022 |
|
|
VimL |
95 |
cmdline-mode enhancement for Vim |
May 25, 2021 |
|
|
VimL |
32 |
A vim mode for Haskell |
Apr 08, 2023 |
|
|
Xojo |
4 |
A Vim mode for BBEdit |
Aug 07, 2022 |
|
|
Emacs Lisp |
10 |
vim-space for evil-mode |
Feb 01, 2021 |
|
|
Shell |
3 |
FStar plugin for the asdf version manager |
Mar 01, 2022 |
|
|
VimL |
600 |
Vim: Hard Mode (deprecated) |
Sep 15, 2022 |
|
|
VimL |
10 |
zen mode vim plugin |
May 04, 2022 |
|
|
Python |
2 |
CudaText plugin: Vim Mode |
Nov 08, 2022 |
|
|
Vim script |
3 |
Custom mode for managing VIM windows |
Feb 08, 2021 |
|
|
Vim script |
2 |
mustache and handlebars mode for vim |
May 31, 2018 |
|
|
Common Lisp |
5 |
Vim Mode for the LispWorks editor. |
Jan 01, 2023 |
|
|
Vim script |
430 |
mustache and handlebars mode for vim |
Aug 26, 2022 |
|
|
Vim script |
9 |
vim mode for editing metamath files |
Sep 28, 2021 |
|
|
F# |
3 |
Translates FStar official docs to reStructuredText |
Aug 08, 2019 |
|
|
Vim script |
6 |
Maintained complete Ada-Mode for Vim/NeoVim |
Jun 22, 2021 |
|
|
Vim script |
1731 |
VIM Table Mode for instant table creation. |
Aug 29, 2022 |
|
|
Vim script |
2 |
hex editor mode for vim using xxd |
Mar 30, 2022 |
|
|
Python |
2 |
Python mode for vim using vial framework |
May 26, 2021 |
|
|
VimL |
3 |
An Emacs' Org-mode clone for Vim |
Jun 11, 2014 |
|
|
Vim script |
211 |
A modern, modular vim mode for Haxe. |
Mar 23, 2023 |
|
|
None |
3 |
not-a-vim-emulation-mode for emacs |
Oct 31, 2015 |
|
|
Emacs Lisp |
272 |
2-char searching ala vim-sneak & vim-seek, for evil-mode |
Aug 10, 2022 |
|
|
VimL |
5 |
What if bash's vi-mode was vim-mode? What if it ran inside vim? |
May 13, 2021 |
|
|
F* |
6 |
algorithms and models of computation in fstar |
Sep 13, 2021 |
|
|
Vim script |
6 |
Vim mode for editing IEC 61131-3 programs. |
Jul 13, 2022 |
|
|
TypeScript |
2918 |
Vim-mode for VS Code using embedded Neovim |
Jun 06, 2022 |
|
|
Emacs Lisp |
65 |
Integrating Vim-style tabs for Evil mode users. |
Dec 14, 2022 |
|
|
VimL |
2 |
FZF's extended-search mode for unite (vim plugin) |
Apr 18, 2022 |
|
|
Vim Script |
108 |
Org mode syntax highlighting and folding for Vim. |
May 13, 2023 |
|
|
Vim script |
5 |
Full-screen mode for Vim on GNU/Linux |
May 19, 2022 |
|
|
Vim script |
3 |
Quick Database Diagram notation Vim mode |
May 10, 2020 |
|
|
VimL |
3 |
Integrates PMD using Vim quickfix mode |
Jan 25, 2020 |
|
|
Shell |
109 |
Implement the vim-like visual mode to vi-mode of zsh |
May 02, 2022 |
|
|
Smalltalk |
38 |
Vim Mode for Playground, System Browser, Debugger in Pharo. |
Apr 06, 2022 |
|
|
Shell |
35 |
Vim Mode for macOS Finder as a Karabiner Plugin |
Apr 02, 2023 |