joom / latex-unicoder.vim
A plugin to type Unicode chars in Vim, using their LaTeX names.
☆90Updated 3 months ago
Related projects: ⓘ
- unicoder.vim: easy unicode characters in insert mode with abbreviations☆37Updated 5 years ago
- A plugin for the Vim editor for handling any interpreter in a Notebook style☆95Updated 6 years ago
- ☆128Updated 2 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 7 years ago
- latex live preview - plugin for neovim and vim 8☆177Updated 6 years ago
- Bringing VIM philosophy to window management☆70Updated 8 years ago
- A vim plugin for writing Latex quickly.☆116Updated 3 weeks ago
- Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages☆91Updated last month
- Lightweight Toolbox for LaTeX - New Official repository☆395Updated 5 years ago
- Interactive theorem proving with Coq in vim.☆186Updated 4 years ago
- File type plugin for folding TeX files☆49Updated 5 years ago
- If the plugin does not work for some syntax, feel free to report to the issue tracker!☆107Updated last month
- Extended Haskell Conceal feature for Vim☆130Updated 4 years ago
- Vim plugin for Haskell development☆132Updated 5 years ago
- vims - use vim like sed☆109Updated 8 months ago
- neovim support for the Lean theorem prover☆256Updated this week
- vim2hs :: Vim -> Haskell☆340Updated 6 years ago
- Vim plugin used to query hoogle, the haskell search engine☆43Updated 5 years ago
- Vim text objects for LaTeX code☆36Updated 5 years ago
- Create ctags compatible tags files for Haskell programs☆81Updated 6 years ago
- a BibTeX source for fzf☆128Updated last month
- XMonad Layout☆40Updated 8 years ago
- A completion plugin for Haskell, using ghc-mod☆359Updated 3 years ago
- A Pandoc filter for including code from source files☆139Updated last year
- An MPD client with vim-like key bindings, written in Haskell☆137Updated 2 years ago
- ☆71Updated 4 months ago
- Replace Unicode symbols by equivalent Latex commands☆26Updated 5 months ago
- Agda interaction in vim☆130Updated 2 years ago
- A neovim plugin for Intero, forked from ghcmod-vim☆218Updated 4 years ago
- Vim plugin for style correction for academic writing and scientific papers☆86Updated 3 months ago