← Back to Isabelle
Alternatives to Isabelle
Generic proof assistant
Developer Tools 25 installs/mo 8.0
12 alternatives
Claude Code
claude-code
7.0
Terminal-based AI coding assistant
Developer Tools 64.2K installs/mo
Codex
codex
8.0
OpenAI's coding agent that runs in your terminal
Developer Tools 134.4K installs/mo
Bruno
bruno
8.5
Open source IDE for exploring and testing APIs
Developer Tools 5.2K installs/mo
Coq Platform
coq-platform
6.5
Formal proof management system
Developer Tools 14 installs/mo
OpenCode
opencode-desktop
7.0
AI coding agent desktop client
Developer Tools 9.0K installs/mo
TLA+ Toolbox
tla+-toolbox
8.0
IDE for TLA+
Developer Tools 44 installs/mo
Julia
julia-app
8.0
Programming language for technical computing
Developer Tools 65 installs/mo
T3 Code
t3-code
8.0
Minimal GUI for AI code agents
Developer Tools 2.9K installs/mo
Auto Claude
auto-claude
8.5
Autonomous multi-session AI coding
Developer Tools 32 installs/mo
Digital
digital
7.0
Logic designer and circuit simulator
Developer Tools 17 installs/mo
GitHub Copilot
github-copilot-app
7.0
Native client for GitHub Copilot
Developer Tools 1.1K installs/mo
Sculptor
sculptor
7.0
GUI for Claude Code
Developer Tools 5 installs/mo