adimit / prolog.vimLinks
Prolog Integration for Vim
☆94Updated 3 years ago
Alternatives and similar repositories for prolog.vim
Users that are interested in prolog.vim are comparing it to the libraries listed below
Sorting:
- vim bundle for Racket☆234Updated 2 years ago
- Enjoy writing SML within Vim☆108Updated last year
- Constraint Logic Programming over Finite Domains☆188Updated 6 years ago
- Vim plugin for Haskell development☆133Updated 6 years ago
- Interactive theorem proving with Coq in vim.☆185Updated 5 years ago
- A plugin to type Unicode chars in Vim, using their LaTeX names.☆90Updated last year
- Conceal operator for haskell☆70Updated 7 years ago
- A completion plugin for Haskell, using ghc-mod☆356Updated 4 years ago
- vim2hs :: Vim -> Haskell☆338Updated 7 years ago
- An unpacked copy of the haskellmode vimball. Ping me if it needs updating.☆134Updated 8 years ago
- Extended Haskell Conceal feature for Vim☆133Updated 6 years ago
- Vim files and plugins for Hy☆86Updated 2 months ago
- Idris mode for vim☆221Updated 5 years ago
- Lightweight Toolbox for LaTeX - New Official repository☆395Updated 6 years ago
- SLIME inspired tmux integration plugin for Vim☆221Updated 5 years ago
- A plugin for the Vim editor for handling any interpreter in a Notebook style☆96Updated 8 years ago
- Happy Haskell programming on Vim, powered by ghc-mod☆430Updated 7 years ago
- colorize ghci output☆74Updated 3 years ago
- Syntax highlighter for ANTLR files in vim☆30Updated 7 years ago
- Vim plugin manager written in Haskell☆67Updated 7 months ago
- Run interactive commands inside a Vim buffer☆252Updated 14 years ago
- Vim Haskell Hindent integration plugin☆52Updated 7 years ago
- The Definition of Standard ML (1990)☆124Updated 11 years ago
- A neovim plugin for Intero, forked from ghcmod-vim☆216Updated 6 years ago
- Unicode goodness for Python code using vim's “conceal” feature☆283Updated 4 years ago
- Agda interaction in vim☆136Updated 4 years ago
- Language Server Protocol server for SWI-Prolog☆124Updated last month
- The Definition of Standard ML, Revised (1997)☆117Updated 8 years ago
- A modern tool for literate programming☆277Updated 8 years ago
- Custom Haskell Vimscripts☆684Updated 3 years ago