Microsoft MakeCode (PXT - Programming eXperience Toolkit)
- typescript
- javascript
- blockly
- editor
Repository Index
70,234 visible repositories in the index
25–36 of 36 · Most stars
An infinite zoomable canvas for coding. Editor, terminal, and browser panels in a spatial workspace.
CLOG - The Common Lisp Omnificent GUI
- common-lisp
- html-bindings
- gui
- webframework
A Chip8 IDE
- chip8
- assembler
- homebrew
- game-development
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
The multi-agent orchestrator for VS Code. Run Claude Code, Codex, and other agent CLIs that start, message, and operate each other across windows and machines.
- agent-orchestration
- agentic-coding
- ai-agents
- claude-code
The repository host gives no description.
A local desktop IDE. Open a folder and edit, run a terminal, and browse on your own machine. Sign-in and the agent are optional.
- ai-ide
- code-editor
- developer-tools
- electron
eosio-web-ide
A simple IDE for LilyPond
- lilypond
- electron-app
- ide
- hacktoberfest
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic