Repository Index

Microsoft MakeCode (PXT - Programming eXperience Toolkit)

• typescript
• javascript
• blockly
• editor

VS Code in the terminal

• cli
• herdr-plugin
• terminal
• vscode

An infinite zoomable canvas for coding. Editor, terminal, and browser panels in a spatial workspace.

Code Editor for the AI Agents Era. Run multiple Claude Code and Codex agents across projects on your machine.

• ai
• claude-code
• codex
• cursor

CLOG - The Common Lisp Omnificent GUI

• common-lisp
• html-bindings
• gui
• webframework

Old version. Visualise data and edit JavaScript code using a spreadsheet interface.

• javascript
• spreadsheet
• alpha
• ide

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

Visual COBOL IDE for Windows: .NET and Java Integration, Azure Deployment

• cobol
• cobol-modernization
• development-environments
• microsoft-azure

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