Repository Index

A Chip8 IDE

• chip8
• assembler
• homebrew
• game-development

ATTENTION: This repository is a clone of https://gitlab.structr.com/structr/structr. All development/issue tracking has moved there. | Structr is an integrated open-source low-code development and runtime environment that uses a graph database (Neo4j).

• low-code
• low-code-development-platform
• productivity
• frontend-framework

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

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

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

• coq
• proof-assistant
• javascript
• integrated-development-environment

Awesome GUI for Claude Code CLI✨ https://baocode.dev

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

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

An simple IDE for V made in V.

• vlang
• ide
• v
• lite

The Load Testing IDE

slimv in a container

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