benbrastmckie / ModalHistoryLinks
Graduate seminar on the modern history of modal logic
☆10Updated 4 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,267Updated last month
- Selenium-automated Jupyter Notebook that is synchronised with Neovim in real-time.☆677Updated 5 months ago
- Chat with GitHub Copilot in Neovim☆3,324Updated last week
- Interact with Jupyter from NeoVim.☆1,166Updated last year
- Fully featured & enhanced replacement for copilot.vim complete with API for interacting with Github Copilot☆3,740Updated this week
- ☆2,523Updated last month
- Better quickfix window in Neovim, polish old quickfix window.☆1,934Updated last month
- 🖼️ Bringing images to Neovim.☆1,698Updated 3 weeks ago
- Improved fzf.vim written in lua☆3,758Updated this week
- Interactive Repl Over Neovim☆1,203Updated last week
- Jupyter-Notebook inspired Neovim/Vim Plugin☆661Updated last month
- Snippet Engine for Neovim written in Lua.☆4,092Updated last week
- Neovim plugin for a code outline window☆2,092Updated last month
- Add/change/delete surrounding delimiter pairs with ease. Written with in Lua.☆3,919Updated last week
- Edit and review GitHub issues and pull requests from the comfort of your favorite editor☆2,934Updated this week
- Not UFO in the sky, but an ultra fold in Neovim.☆2,776Updated last month
- A neovim plugin for interactively running code with the jupyter kernel. Fork of magma-nvim with improvements in image rendering, performa…☆957Updated last week
- Show code context☆2,979Updated 2 weeks ago
- A UI for nvim-dap☆3,150Updated 2 months ago
- vim match-up: even better % navigate and highlight matching words modern matchit and matchparen. Supports both vim and neovim + tree-s…☆1,834Updated 3 weeks ago
- Plugin for calling lazygit from within neovim.☆2,033Updated 2 weeks ago
- Debug Adapter Protocol client implementation for Neovim☆6,657Updated last week
- Lua plugin to turn github copilot into a cmp source☆1,331Updated 9 months ago
- Neovim motions on speed!☆2,505Updated 2 years ago
- autopairs for neovim written in lua☆3,796Updated this week
- 🧘 Distraction-free coding for Neovim☆2,012Updated last week
- deprecated in favor of leap.nvim☆1,564Updated last year
- Neovim file explorer: edit your filesystem like a buffer☆5,728Updated last month
- A tree like view for symbols in Neovim using the Language Server Protocol. Supports all your favourite languages.☆1,839Updated last year
- improve neovim lsp experience☆3,696Updated 3 months ago