Ide

3 open source tools found

Visual Studio Code (Code - OSS)

Microsoft's free open-source code editor with intelligent completions, debugging, and a massive extension ecosystem.

A free, open-source code editor by Microsoft with rich extensions, debugging, and Git integration. The most popular developer tool worldwide.

Windows: Control Panel -> Programs & Features -> select VS Code -> Uninstall. macOS: Drag VS Code from Applications folder to Trash. Linux: Use your package manager (e.g., sudo apt remove code).

184.6k

Developer Tools

pyrefly

15x faster than Mypy/Pyright, production-proven on Instagram's 20M-line codebase, with full IDE features.

A fast type checker and language server for Python, proven on Instagram's 20-million-line codebase. 15x faster than Mypy and Pyright, with seamless IDE integration and zero-config framework support.

Uninstall CLI: pip uninstall pyrefly. In VS Code, remove the Pyrefly extension from the Extensions panel.

6.1kChecksum

Developer Tools

Orca

Run multiple AI coding agents (Claude Code, Codex, etc.) in isolated worktrees with your own subscriptions, on desktop and mobile.

Orca is a next-gen IDE that orchestrates parallel AI agents across git worktrees. Bring your own subscription, run agents side-by-side, control from phone.

macOS: Run `brew uninstall --cask stablyai/orca/orca` or drag the app to Trash. Windows: Go to Settings > Apps > Apps & features, find Orca, and uninstall. Linux (Arch): `yay -R stably-orca-bin` or delete extracted folder.

3.3kChecksum