arthurxavierx / vim-unicoder
unicoder.vim: easy unicode characters in insert mode with abbreviations
☆37Updated 5 years ago
Related projects: ⓘ
- A plugin to type Unicode chars in Vim, using their LaTeX names.☆90Updated 3 months ago
- "Edit" mp3 files with Vim, or rather, their ID3 tags☆51Updated 10 months ago
- LaTeX grammar for tree-sitter☆97Updated last week
- Hoogle search integration for Telescope☆47Updated last year
- ☆128Updated 2 years ago
- Keeps vim windows stable on layout changes☆40Updated 7 months ago
- Agda interaction pluging for neovim☆35Updated 2 weeks ago
- 📝 Manage your Zettelkasten in {n}vim.☆29Updated 3 years ago
- TexLab extension for coc.nvim☆121Updated 5 months ago
- ☆18Updated 2 years ago
- NeoVim plugin for interacting with Agda written in Lua☆18Updated 7 months ago
- A vim plugin making use of vim's conceal feature for additional visual eyecandy.☆70Updated 10 months ago
- ☆78Updated 3 years ago
- neovim support for the Lean theorem prover☆256Updated this week
- Minimalist plugin to interact with a REPL☆69Updated last year
- Language server implementation for neuron☆16Updated 3 years ago
- vimtex integration for coc.nvim☆130Updated last year
- Evaluate Markdown code blocks within Vim☆110Updated 3 months ago
- ☆108Updated 4 years ago
- A vim plugin for writing Latex quickly.☆116Updated 3 weeks ago
- Simple and minimal REPL integration plugin for Vim and Neovim.☆73Updated 11 months ago
- Haskell grammar for tree-sitter.☆152Updated 2 weeks ago
- Add latex symbol support for nvim-cmp.☆129Updated last year
- 📝 Manage your Zettelkasten in {n}vim.☆83Updated last year
- 💥 A (Neo)vim plugin to provide Wolfram Mathematica language support☆31Updated 4 years ago
- Vim plugin for style correction for academic writing and scientific papers☆86Updated 3 months ago
- Vaporware -- nothing to see here☆82Updated 3 years ago
- Lean Theorem Prover plugin for Vim.☆14Updated 2 years ago
- Replace Unicode symbols by equivalent Latex commands☆26Updated 5 months ago
- ☆55Updated 6 months ago