lamdu - towards the next generation IDE
Julia extension for Visual Studio Code
iD3: an Integrated Development Environment for D3.js
A port of Coq to Javascript -- Run Coq in your Browser
This repo is the new home of Proof General
A Coq IDE build on top of Proof General's Coq mode
IDE for C embedded development centered on bare-metal ARM systems
SLT is an IDE Plugin for Itellij/Jetbrains IDE lineup implementing support for Common Lisp via Slime/Swank and supported lisp interpret.
An awesome multi-language IDE written in JavaScript, crafted for ChromeOS and released under the GNU general public license!
A visual programming environment.
The IntelliJ IDEA plugin for the Zig programming language ┗
IBM i development environment (IDE)
An unofficial elementary OS (Vala) oriented IDE.
Innovative IDE based on VRL (Visual Reflection Library)
Micropython IDE
Hyper IDE - A web based IDE for 100+ programming languages
IDE for ArmA
Add a description, image, and links to the integrated-development-environment topic page so that developers can more easily learn about it.
To associate your repository with the integrated-development-environment topic, visit your repo's landing page and select "manage topics."