Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
Repository Index
47,133 repositories indexed
1–14 of 14 · Most stars
The developer platform for on-demand cloud development environments to create software faster and more securely.
An online IDE for rapid web development
Kubernetes based Cloud Development Environments for Enterprise Teams
Lightweight Lua-based IDE for Lua with code completion, syntax highlighting, live coding, remote debugger, and code analyzer; supports Lua 5.1, 5.2, 5.3, 5.4, LuaJIT and other Lua interpreters on Windows, macOS, and Linux
- lua
- ide
- syntax-highlighting
- zerobrane-studio
A Code Playground That Just Works!
- javascript
- typescript
- playground
- monaco-editor
a fast, GPU-accelerated, full-featured IDE and terminal multiplexer, suitable both for automatic and manual programming.
- go
- golang
- ide
- rune
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 port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
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/...)
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.
Eclipse Platform - a comprehensive set of frameworks and common services that collectively provide a powerful software development infrastructure.
- eclipse
- java
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic