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
:computer: Julia Plugin for IntelliJ IDEA ┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛
SLT is an IDE Plugin for Itellij/Jetbrains IDE lineup implementing suppo...
IDE for C embedded development centered on bare-metal ARM systems
A powerful, fast, and cogent software ecosystem for all platforms.
An awesome multi-language IDE written in JavaScript, crafted for ChromeO...
The IntelliJ IDEA plugin for the Zig programming language ┗:smiley:┛ ┏:...
A visual programming environment.
:crystal_ball: Single file Kotlin/Java IDE features in lightweight.
IBM i development environment (IDE)