Similar repositories to LumaKernel/coqpit.vim:
LumaKernel/coqpit.vim
github
similar
Eugeny/terminus
github
similar
coq-contribs/zfc
github
similar
elpinal/seqmod
github
similar
tchajed/coq-record-update
github
similar
coq-community/autosubst
github
similar
qnighy/logic-solver-rs
github
similar
Mtac2/Mtac2
github
similar
coq-contribs/coq-in-coq
github
similar
standardml/twelf
github
similar
dodie/testing-in-bash
github
similar
jez/vim-better-sml
github
similar
hdevtools/hdevtools
github
similar
Badacadabra/vim-archery
github
similar
SRI-CSL/PVS
github
similar
SMLFamily/The-Definition-of-Standard-ML-Revised
github
similar
rems-project/lem
github
similar
derekelkins/agda-vim
github
similar
esp-rs/rust-build
github
similar
pandaman64/effective-rust
github
similar
gfngfn/Sesterl
github
similar
kuis-isle3sw/IoPLMaterials
github
similar
tyru/eskk.vim
github
similar
jwiegley/coq-haskell
github
similar
suhailshergill/extensible-effects
github
similar
ff-notes/ff
github
similar
sifive/Kami
github
similar
smlsharp/smlsharp
github
similar
mattam82/Coq-Equations
github
similar
lukaszcz/coqhammer
github
similar
SMLFamily/Successor-ML
github
similar
MetaCoq/metacoq
github
similar
daa84/neovim-lib
github
similar
whonore/Coqtail
github
similar
Avi-D-coder/implicit-hie
github
similar
mit-plv/bedrock2
github
similar
thinca/vim-themis
github
similar
hikalium/liumos
github
similar
neovimhaskell/nvim-hs
github
similar
lotz84/haskell
github
similar