Alternatives and similar repositories for prolog.vim

Users that are interested in prolog.vim are comparing it to the libraries listed below

• wlangstroth / vim-racket
  vim bundle for Racket
  ☆234Updated 2 years ago
• joom / latex-unicoder.vim
  A plugin to type Unicode chars in Vim, using their LaTeX names.
  ☆90Updated last year
• eagletmt / neco-ghc
  A completion plugin for Haskell, using ghc-mod
  ☆356Updated 4 years ago
• Twinside / vim-haskellConceal
  Conceal operator for haskell
  ☆70Updated 6 years ago
• jez / vim-better-sml
  Enjoy writing SML within Vim
  ☆108Updated last year
• dag / vim2hs
  vim2hs :: Vim -> Haskell
  ☆338Updated 7 years ago
• bitc / vim-hdevtools
  Vim plugin for Haskell development
  ☆133Updated 6 years ago
• esamattis / slimux
  SLIME inspired tmux integration plugin for Vim
  ☆221Updated 5 years ago
• baruchel / vim-notebook
  A plugin for the Vim editor for handling any interpreter in a Notebook style
  ☆96Updated 8 years ago
• hylang / vim-hy
  Vim files and plugins for Hy
  ☆86Updated 2 months ago
• enomsg / vim-haskellConcealPlus
  Extended Haskell Conceal feature for Vim
  ☆133Updated 6 years ago
• LaTeX-Box-Team / LaTeX-Box
  Lightweight Toolbox for LaTeX - New Official repository
  ☆395Updated 6 years ago
• eagletmt / ghcmod-vim
  Happy Haskell programming on Vim, powered by ghc-mod
  ☆430Updated 7 years ago
• lukerandall / haskellmode-vim
  An unpacked copy of the haskellmode vimball. Ping me if it needs updating.
  ☆134Updated 8 years ago
• itchyny / miv
  Vim plugin manager written in Haskell
  ☆67Updated 7 months ago
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 5 years ago
• vim-scripts / Conque-Shell
  Run interactive commands inside a Vim buffer
  ☆252Updated 14 years ago
• idris-hackers / idris-vim
  Idris mode for vim
  ☆221Updated 5 years ago
• zweifisch / pipe2eval
  REPL inside vim
  ☆73Updated 8 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆188Updated 6 years ago
• rhysd / ghci-color
  colorize ghci output
  ☆74Updated 3 years ago
• ehamberg / vim-cute-python
  Unicode goodness for Python code using vim's “conceal” feature
  ☆283Updated 4 years ago
• ujihisa / repl.vim
  irb, ghci, and anything else. in Vim.
  ☆55Updated 7 years ago
• dylon / vim-antlr
  Syntax highlighter for ANTLR files in vim
  ☆30Updated 7 years ago
• calebsmith / vim-lambdify
  Vim plugin that conceals lambda/function syntax with lambda characters
  ☆51Updated 4 years ago
• tpope / vim-classpath
  classpath.vim: Set 'path' from the Java class path
  ☆111Updated 5 years ago
• AshleyF / VimSpeak
  Speak to your editor.
  ☆418Updated 5 years ago
• xolox / vim-reload
  Automatic reloading of Vim scripts ((file-type) plug-ins, auto-load/syntax/indent scripts, color schemes)
  ☆78Updated 7 years ago
• alx741 / vim-hindent
  Vim Haskell Hindent integration plugin
  ☆52Updated 7 years ago
• takikawa / drracket-vim-tool
  Vim-like editing for DrRacket
  ☆211Updated 4 months ago