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)

A curated list of Integrated Development Environments (IDEs) and related tools that can enhance your coding experience and boost your productivity.

Innovative IDE based on VRL (Visual Reflection Library)

An unofficial elementary OS (Vala) oriented IDE.

Micropython IDE

IDE for ArmA

Hyper IDE - A web based IDE for 100+ programming languages