Repository Index

A self-hosted browser-based cloud IDE, updated from Codiad IDE

• ide
• editor
• cloud-ide
• self-hosted

Corman Lisp

• common-lisp
• ide

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

v1.2 - UI tool for manage Espressif ESP32 microcontrollers with embedded MicroPython for MacOS, Windows and Linux: mini IDE, files manager, REPL, real time dashboards (sys/net), advanced features (gpio/mp3/leds/...)

• esp32
• ide
• macos
• micropython

D language IDE based on DlangUI

• d
• dcd
• dub
• gdb

TranslatedA Go code editor. With debugging and Autocomplete.

• strukture
• ide
• docker
• golang

The repository host gives no description.

An open-source IDE for C# and .NET, built with Avalonia, for Windows, macOS and Linux: a Roslyn-powered editor, its own debugger with Hot Reload, a CPU and memory profiler, XAML tooling for Avalonia and WPF, and an MCP server for coding agents.

• avalonia
• csharp
• debugger
• dotnet

Eclipse Platform - a comprehensive set of frameworks and common services that collectively provide a powerful software development infrastructure.

• eclipse
• java

eosio-web-ide

An simple IDE for V made in V.

• vlang
• ide
• v
• lite

The Load Testing IDE

A simple IDE for LilyPond

• lilypond
• electron-app
• ide
• hacktoberfest

uPIDE is a simple IDE for Micropython

• esp32
• esp8266
• micropython
• ide

Web IDE for the Picat language based on Blazor and Monaco

A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic