integrated-development-environment topic
company-coq
A Coq IDE build on top of Proof General's Coq mode
dev-kt
:crystal_ball: Single file Kotlin/Java IDE features in lightweight.
intellij-zig
The IntelliJ IDEA plugin for the Zig programming language ┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛ ┏:smiley:┓
Astro
Free and Open Source Java IDE Side Project that can compile and run java code and other features for editor like auto complate and auto import for packages
ILEditor
IBM i development environment (IDE)
embedded-ide
IDE for C embedded development centered on bare-metal ARM systems
julia-vscode
Julia extension for Visual Studio Code
codepad-chrome-app
An awesome multi-language IDE written in JavaScript, crafted for ChromeOS and released under the GNU general public license!
jscoq
A port of Coq to Javascript -- Run Coq in your Browser
PG
This repo is the new home of Proof General