Repository Index

Kubernetes based Cloud Development Environments for Enterprise Teams

• eclipse
• devtools
• ide
• cloud

🛠 All-in-one web-based IDE specialized for machine learning and data science.

• machine-learning
• deep-learning
• data-science
• docker

Apache NetBeans

• netbeans
• netbeans-platform
• ide
• code-editor

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

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

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