benbrastmckie / ModalHistoryLinks
Graduate seminar on the modern history of modal logic
☆10Updated 2 months ago
Alternatives and similar repositories for ModalHistory
Users that are interested in ModalHistory are comparing it to the libraries listed below
Sorting:
- Gp.nvim (GPT prompt) Neovim AI plugin: ChatGPT sessions & Instructable text/code operations & Speech to text [OpenAI, Ollama, Anthropic, …☆1,223Updated 3 months ago
- Neovim support for the Lean theorem prover☆370Updated this week
- Improved fzf.vim written in lua☆3,519Updated this week
- parrot.nvim 🦜 - the plugin that brings stochastic parrots to Neovim.☆677Updated this week
- markdown preview plugin for (neo)vim☆7,358Updated 11 months ago
- improve neovim lsp experience☆3,658Updated 3 weeks ago
- Snippet Engine for Neovim written in Lua.☆3,975Updated 2 weeks ago
- Terminal manager for (neo)vim☆2,592Updated 3 weeks ago
- vim match-up: even better % navigate and highlight matching words modern matchit and matchparen. Supports both vim and neovim + tree-s…☆1,808Updated last week
- VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.☆5,900Updated 2 weeks ago
- abolish.vim: Work with several variants of a word at once☆2,873Updated 11 months ago
- Vim plugin that provides additional text objects☆2,607Updated last year
- Neovim motions on speed!☆2,504Updated last year
- ☆2,451Updated 3 weeks ago
- Interact with Jupyter from NeoVim.☆1,136Updated last year
- Single tabpage interface for easily cycling through diffs for all modified files for any git rev.☆4,741Updated 11 months ago
- File Browser extension for telescope.nvim☆1,873Updated last month
- The undo history visualizer for VIM☆4,290Updated last week
- Indent guides for Neovim☆4,632Updated 4 months ago
- sleuth.vim: Heuristically set buffer options☆2,057Updated 10 months ago
- Selenium-automated Jupyter Notebook that is synchronised with Neovim in real-time.☆653Updated 3 months ago
- Add/change/delete surrounding delimiter pairs with ease. Written with in Lua.☆3,806Updated last month
- Find the enemy and replace them with dark power.☆2,258Updated 2 months ago
- Better quickfix window in Neovim, polish old quickfix window.☆1,896Updated last month
- Interactive Repl Over Neovim☆1,160Updated 3 months ago
- Multiple cursors plugin for vim/neovim☆4,583Updated 10 months ago
- Jupyter-Notebook inspired Neovim/Vim Plugin☆652Updated last year
- Git integration for buffers☆5,953Updated this week
- Lua plugin to turn github copilot into a cmp source☆1,309Updated 7 months ago
- plenary: full; complete; entire; absolute; unqualified. All the lua functions I don't want to write twice.☆3,166Updated 5 months ago