Repository Index

Kilo is the all-in-one agentic engineering platform. Build, ship, and iterate faster with the most popular open source coding agent.

• ai-coding
• vscode
• vscode-extension
• ai-developer-tools

Clojure & ClojureScript Interactive Programming for VS Code

Interactive, source-linked ML workflow diagrams written by your coding assistant (Copilot, Codex or Claude Code) and opened in VS Code.

• claude-code
• developer-tools
• machine-learning
• visualization

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

• coq
• ide
• user-interface
• vscode-extension

CLI tool and TUI editor for managing .NET .resx localization files. Validate translations, import/export CSV, add/remove languages, and edit interactively.

• cli
• csharp
• developer-tools
• dotnet