CoqIDE

Emulate Coq IDE in VIM

Stars

11

Forks

10

Language

VimL

Last Updated

Dec 10, 2018

Similar Repos
Repo Language Stars Description Updated At
Emacs Lisp 332 A Coq IDE build on top of Proof General's Coq mode May 04, 2023
VimL 13 Vim plugin: Emulate Emacs' narrowing feature Aug 28, 2022
VimL 2 Vim Script IDE for Vim/gVim. Jun 26, 2019
AutoHotkey 493 Setting file to emulate vim with AutoHotkey Aug 23, 2022
AutoHotkey 2 Setting file to emulate vim with AutoHotkey Mar 26, 2022
AutoHotkey 3 Setting file to emulate vim with AutoHotKey Jul 13, 2022
Vim script 183 Interactive theorem proving with Coq in vim. Jul 22, 2022
VimL 2 use vim as IDE Apr 11, 2019
VimL 9194 use vim as IDE Oct 10, 2022
Vim script 396 IDE-like Vim tabline Oct 10, 2022
VimL 2 Vim as Bash IDE Mar 25, 2020
VimL 22 use vim as IDE Mar 24, 2022
VimL 3 IDE all in vim. Jul 30, 2016
VimL 6 Vimside - Vim Scala Ide Aug 13, 2019
VimL 7 Vim configuration for Python IDE Dec 30, 2013
Python 12 python IDE based on vim Feb 25, 2020
Vim script 2 Vim IDE in a Container Aug 10, 2021
Shell 2 Vim as a Python IDE Mar 19, 2022
Vim script 3 Make superior vim as IDE Dec 01, 2020
CSS 33 Atom as Vim as IDE Feb 27, 2022
Shell 110 Vim as a Python IDE Sep 04, 2022
Vim script 99 Vim plugin for psc-ide Oct 30, 2021
Vim script 3 Vim plugin for psc-ide Sep 14, 2019
Vim Script 5 vim plugins manage, IDE config Mar 01, 2023
Vim script 6 Set up vim as IDE Jan 10, 2023
Vim script 29 :leaves:A C++ IDE for vim Apr 10, 2023
VimL 5 Arduino IDE intregation for vim Aug 16, 2016
VimL 4 LaTeX-IDE for Vim/gVim Jun 12, 2018
None 2 A Vim Programmers IDE (Linux) Jun 11, 2014
None 10 Henry's IDE to VIM Cheatsheet Feb 18, 2023
Coq 2 Formally checked proofs of permutative group of functions in Coq IDE Nov 09, 2021
Vim script 4 :sunflower: Vim as a Python IDE Nov 15, 2021
VimL 5 VIM as IDE - Ruby, Rails, Python Oct 18, 2013
None 11 UVM/systemverilog/verilog/python VIM IDE Aug 31, 2022
VimL 2 vimper : Yet another IDE using Vim... Jun 11, 2014
VimL 9 A windows style IDE for Vim Sep 20, 2019
VimL 3 LaTeX macros in Vim (which emulate operator-pending mode operations) Sep 27, 2022
VimL 15 Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq. Aug 21, 2022
Vim script 5 vim & neovim IDE for c++ and python Jul 22, 2022
VimL 9 Make Vim your IDE for Python programming Jul 23, 2018
Python 278 A beautiful VIM-IDE based on Ansible Jun 20, 2022
VimL 2 Classic borland IDE like Vim color scheme Nov 13, 2022
Vim Script 3 My neovim ide configuration ,with vim support Feb 16, 2023
VimL 150 Vim Scala IDE (VimSIde) built upon ENSIME Sep 12, 2022
VimL 3 awk-support.vim : AWK-IDE for Vim/gVim Jun 20, 2014
VimL 3 Classic borland IDE like Vim color scheme Jun 11, 2014
VimL 40 A windows style IDE for Vim 6.0 Apr 27, 2023
Shell 2 Cấu hình vim như một IDE c++ Jul 10, 2022
VimL 2 Vim plugin to emulate the brief editor key bindings and behavior Nov 13, 2022
Vim Script 192 Vim as the IDE for the go language 将 vim 打造成 go 语言的 ide Oct 08, 2022