Emacs as your personal AI assistant. Use LLMs such as ChatGPT or LLaMA for text generation or DALL-E and Stable Diffusion for image generation. Also supports speech input / output.
Repository Index
47,133 repositories indexed
25–48 of 89 · Most stars
Neovim plugin for tagging important files
- neovim
- neovim-plugin
- nvim
- plugin
🏔️ A Neovim theme that combines the Nord and Atom One Dark color palettes for a more vibrant programming experience.
✍️ All the npm/yarn/pnpm commands I don't want to type
A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
The missing linter and lsp for AI coding assistants. Validate CLAUDE.md, AGENTS.md, SKILL.md, hooks, MCP. Plugin for all major IDEs included, with autofixes.
A tool-use-focused LLM plugin for neovim.
Interactive, source-linked ML workflow diagrams written by your coding assistant (Copilot, Codex or Claude Code) and opened in VS Code.
Pleasant and productive colorscheme for Neovim
A Coq IDE build on top of Proof General's Coq mode
- proof-general
- coq
- integrated-development-environment
- company-mode
🦉 🌌 Night Owl colorscheme implementation for Neovim with support for Treesitter and semantic tokens
Use your favorite machine translation engines without having to leave your favorite editor.
- apertium
- argos
- deepl
Interactive Coq Proofs in Vim
🌊 Aquarium, a simple vibrant dark theme for vim 🗒
An arctic, north-bluish clean and elegant Neovim theme.
TranslatedWenyan Lang for VS Code
TrailBlazer enables you to seemlessly move through important project marks as quickly and efficiently as possible to make your workflow blazingly fast ™.
- neovim
- neovim-lua
- neovim-plugin
- vim-motions
A vibrant and refreshing neovim colorscheme inspired by citrus fruits.
A performant lsp progress status for Neovim.
- neovim
- lua
- plugin
- neovim-plugin
Enable the power of fzf fuzzy search for the neovim built in lsp
:crescent_moon: A modern black neovim theme written in Lua, with comfortable color contrast for a pleasant visual experience, with LSP and treesitter support
Performant indent guides for neovim
nvim theme blending lava red and ice blue for a vibrant coding experience ✨
Fast, cross-platform, real-time token usage tracker and cost monitor for Claude Code / Codex CLI / Antigravity CLI / Qwen Code / Cline / Zoo Code / Kilo Code / GitHub Copilot / OpenCode / Pi Agent / Piebald.
- analyzer
- claude-code
- codex
- usage