lamdu - towards the next generation IDE

• UpdatedMay 20, 2025
• Haskell

Julia extension for Visual Studio Code

• UpdatedJul 7, 2025
• TypeScript

iD3: an Integrated Development Environment for D3.js

• UpdatedOct 13, 2017
• CSS

A port of Coq to Javascript -- Run Coq in your Browser

• UpdatedJul 11, 2025
• TypeScript

This repo is the new home of Proof General

• UpdatedJun 23, 2025
• Emacs Lisp

A Coq IDE build on top of Proof General's Coq mode

• UpdatedJun 25, 2025
• Emacs Lisp

💻 Julia Plugin for IntelliJ IDEA ┗😃┛ ┏😃┓ ┗😃┛

• UpdatedJan 28, 2025
• Kotlin

SLT is an IDE Plugin for Itellij/Jetbrains IDE lineup implementing support for Common Lisp via Slime/Swank and supported lisp interpret.

• UpdatedJun 25, 2025
• Common Lisp

IDE for C embedded development centered on bare-metal ARM systems

• UpdatedJun 24, 2020
• C++

An awesome multi-language IDE written in JavaScript, crafted for ChromeOS and released under the GNU general public license!

• UpdatedOct 30, 2023
• JavaScript

The IntelliJ IDEA plugin for the Zig programming language ┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛ ┏:smiley:┓

• UpdatedMay 11, 2023
• Kotlin

A visual programming environment.

• UpdatedAug 31, 2019
• Factor

🔮 Single file Kotlin/Java IDE features in lightweight.

• UpdatedDec 19, 2020
• Kotlin

IBM i development environment (IDE)

• UpdatedSep 11, 2020
• C#

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

• UpdatedMar 30, 2025
• Markdown

Innovative IDE based on VRL (Visual Reflection Library)

• UpdatedJun 28, 2024
• Java

An unofficial elementary OS (Vala) oriented IDE.

• UpdatedAug 29, 2017
• Vala

Micropython IDE

• UpdatedSep 22, 2017
• Python

IDE for ArmA

• UpdatedApr 15, 2020
• C#

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

• UpdatedJul 12, 2018
• JavaScript