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
💻 Julia Plugin for IntelliJ IDEA ┗😃┛ ┏😃┓ ┗😃┛
SLT is an IDE Plugin for Itellij/Jetbrains IDE lineup implementing support for Common Lisp via Slime/Swank and supported lisp interpret.
IDE for C embedded development centered on bare-metal ARM systems
An awesome multi-language IDE written in JavaScript, crafted for ChromeOS and released under the GNU general public license!
The IntelliJ IDEA plugin for the Zig programming language ┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛ ┏:smiley:┓
A visual programming environment.
🔮 Single file Kotlin/Java IDE features in lightweight.
IBM i development environment (IDE)
An unofficial elementary OS (Vala) oriented IDE.
Innovative IDE based on VRL (Visual Reflection Library)
Micropython IDE
IDE for ArmA
Hyper IDE - A web based IDE for 100+ programming languages
Spatially Explicit Integrated Modeling System --- open-source, cross-platform, and high performance computation
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."