A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
Repository Index
47,133 repositories indexed
217–240 of 244 · Most stars
A lightweight Neovim plugin that lets you define, run, and manage multiple project-specific commands directly from your editor. By creating a .nvimlaunch file in your project root
- neovim
- neovim-plugin
- plugin
- task-runner
The repository host gives no description.
A dead-simple, customizable and cozy dashboard with sane defaults and zero config required
Github's Linguist but in Crystal
- crystal
- syntax-highlighting
- linguistic
Find which files and preview what changes have been made on your git branch across multiple commits
fkthemes.nvim is a highly customizable and intuitive theme manager plugin designed to bring a seamless theming experience to Neovim users. With Fkthemes.nvim, you can effortlessly switch between multiple themes, enable transparency in various UI components, and even create custom keybindings to cycle through your favorite themes
- fkvim
- neovim
- neovim-plugin
- fkthemes
A lightweight BibTeX citation source for Blink completion.
- blink-cmp
- neovim
- neovim-plugin
- bibtex
Minimalist command based AI plugin to interact with LLM backends like Ollama and OpenAI with a powerful template system
Apropos across Quicklisp libraries
- common-lisp
- common-lisp-tools
- lisp
- tools
SLIME extension for Lisp Critic
- common-lisp
- lisp
- tools
✈️ Run projects, source files, and arbitrary shell commands with placeholders & without reloading
- code-runner
- lua
- neovim
- neovim-plugin
Neovim completion for local agent commands and skills, with env-gated Claude/Codex editor integration
- blink-cmp
- claude-code
- codex
- completion
Nice previews of your prompts!
Simple commands to make life easy while working with git.
Always single line, comment sensitive, indentation preserving commenting.
- comment
- lua
- neovim
- neovim-plugin
Select OCaml opam switches via a menu or using a command
- emacs
- proof-general
- ocaml
- opam
Maintained complete Ada-Mode for Vim/NeoVim
An AI-assisted commit message generator following common commit conventions. 🤝
neovim command runner
Major mode that provides syntax highlighting and basic completion for TypeQL
- syntax-highlighting
- typedb
- typeql
- emacs
A CodeCompanion extension for using VS Code Copilot prompts and Chat Mode prompts
GIthub CODEOWNERS plugin for Neovim
SLT is an IDE Plugin for Itellij/Jetbrains IDE lineup implementing support for Common Lisp via Slime/Swank and supported lisp interpret.