benbrastmckie / ModalHistoryLinks
Graduate seminar on the modern history of modal logic
β10Updated 8 months ago
Alternatives and similar repositories for ModalHistory
Users that are interested in ModalHistory are comparing it to the libraries listed below
Sorting:
- π§© Claude Code Neovim IDE Extensionβ2,008Updated 2 weeks ago
- Seamless integration between Claude Code AI assistant and Neovimβ1,801Updated last week
- Selenium-automated Jupyter Notebook that is synchronised with Neovim in real-time.β742Updated last month
- A neovim plugin for interactively running code with the jupyter kernel. Fork of magma-nvim with improvements in image rendering, performaβ¦β1,098Updated 3 months ago
- Gp.nvim (GPT prompt) Neovim AI plugin: ChatGPT sessions & Instructable text/code operations & Speech to text [OpenAI, Ollama, Anthropic, β¦β1,302Updated 6 months ago
- Integrate the opencode AI assistant with Neovim β streamline editor-aware research, reviews, and requests.β2,478Updated this week
- Make Vim talk to Jupyter kernelsβ566Updated last year
- Interactive Repl Over Neovimβ1,292Updated last month
- Neovim support for the Lean theorem proverβ474Updated this week
- parrot.nvim π¦ - the plugin that brings stochastic parrots to Neovim.β777Updated 2 weeks ago
- NeoVim configuration optimized for writing in LaTeX with AI integration for Avante, Lectic, and Claude-Codeβ431Updated last week
- An MCP client for Neovim that seamlessly integrates MCP servers into your editing workflow with an intuitive interface for managing, testβ¦β1,713Updated 3 weeks ago
- Interact with Jupyter from NeoVim.β1,217Updated 2 years ago
- Embed images into any markup language, like LaTeX, Markdown or Typstβ866Updated last month
- A Neovim plugin that provides VSCode-style side-by-side diff rendering with two-tier highlighting (line + character level) using VSCode'sβ¦β1,075Updated this week
- Your Neovim AI sidekickβ2,253Updated 3 months ago
- Chat with GitHub Copilot in Neovimβ3,548Updated last week
- Obsidian π€ Neovim (actively maintained version)β1,507Updated this week
- Better quickfix window in Neovim, polish old quickfix window.β1,987Updated last week
- Jupyter-Notebook inspired Neovim/Vim Pluginβ669Updated last month
- Neovim extension for zkβ789Updated 2 weeks ago
- π Dance with Intelligence in Your Code. Minuet offers code completion as-you-type from popular LLMs including OpenAI, Gemini, Claude, Olβ¦β997Updated last week
- take your scientific notes in Neovimβ738Updated 9 months ago
- A neovim plugin to run lines/blocs of code (independently of the rest of the file), supporting multiples languagesβ1,667Updated last month
- Not UFO in the sky, but an ultra fold in Neovim.β2,877Updated last month
- collaborative editing in Neovim using built-in capabilitiesβ1,410Updated 3 years ago
- β2,650Updated 2 weeks ago
- Fluent navigation and management of markdown notebooksβ777Updated this week
- Plugin for calling lazygit from within neovim.β2,175Updated last month
- πΌοΈ Bringing images to Neovim.β1,869Updated 5 months ago