Coq
Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
Why it is included
Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization. - ms-jpq/coq_nvim
Best for
Users exploring vetted FOSS alternatives in this space (neovim extensions).
Strengths
- ~3,786 GitHub stars (per upstream list)
- Open source
Limitations
- Verify license, platform support, and security posture for your environment.
Good alternatives
Related tools
IDEs & Editors
SharpIDE
A modern, cross platform IDE for .NET, built with .NET & Godot
IDEs & Editors
Fresh
Terminal based IDE & text editor: easy, powerful and fast
IDEs & Editors
TeXstudio
TeXstudio is a fully featured LaTeX editor. Our goal is to make writing LaTeX documents as easy and comfortable as possible.
IDEs & Editors
novelWriter
novelWriter is an open source plain text editor designed for writing novels.
IDEs & Editors
Markor
Text editor - Notes & ToDo (for Android) - Markdown, todo.txt, plaintext, math, ..
IDEs & Editors
Arduino IDE
Arduino IDE 2.x