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
• jez / vim-better-sml
  Enjoy writing SML within Vim
  ☆108Updated last year
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆188Updated 6 years ago
• bitc / vim-hdevtools
  Vim plugin for Haskell development
  ☆133Updated 6 years ago
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 5 years ago
• joom / latex-unicoder.vim
  A plugin to type Unicode chars in Vim, using their LaTeX names.
  ☆90Updated last year
• Twinside / vim-haskellConceal
  Conceal operator for haskell
  ☆70Updated 7 years ago
• eagletmt / neco-ghc
  A completion plugin for Haskell, using ghc-mod
  ☆356Updated 4 years ago
• dag / vim2hs
  vim2hs :: Vim -> Haskell
  ☆338Updated 7 years ago
• lukerandall / haskellmode-vim
  An unpacked copy of the haskellmode vimball. Ping me if it needs updating.
  ☆134Updated 8 years ago
• enomsg / vim-haskellConcealPlus
  Extended Haskell Conceal feature for Vim
  ☆133Updated 6 years ago
• hylang / vim-hy
  Vim files and plugins for Hy
  ☆86Updated 2 months ago
• idris-hackers / idris-vim
  Idris mode for vim
  ☆221Updated 5 years ago
• LaTeX-Box-Team / LaTeX-Box
  Lightweight Toolbox for LaTeX - New Official repository
  ☆395Updated 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
• eagletmt / ghcmod-vim
  Happy Haskell programming on Vim, powered by ghc-mod
  ☆430Updated 7 years ago
• rhysd / ghci-color
  colorize ghci output
  ☆74Updated 3 years ago
• dylon / vim-antlr
  Syntax highlighter for ANTLR files in vim
  ☆30Updated 7 years ago
• itchyny / miv
  Vim plugin manager written in Haskell
  ☆67Updated 7 months ago
• vim-scripts / Conque-Shell
  Run interactive commands inside a Vim buffer
  ☆252Updated 14 years ago
• alx741 / vim-hindent
  Vim Haskell Hindent integration plugin
  ☆52Updated 7 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 11 years ago
• parsonsmatt / intero-neovim
  A neovim plugin for Intero, forked from ghcmod-vim
  ☆216Updated 6 years ago
• ehamberg / vim-cute-python
  Unicode goodness for Python code using vim's “conceal” feature
  ☆283Updated 4 years ago
• derekelkins / agda-vim
  Agda interaction in vim
  ☆136Updated 4 years ago
• jamesnvc / lsp_server
  Language Server Protocol server for SWI-Prolog
  ☆124Updated last month
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆117Updated 8 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆277Updated 8 years ago
• neovimhaskell / haskell-vim
  Custom Haskell Vimscripts
  ☆684Updated 3 years ago