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