← Back to Isabelle
Alternatives to Isabelle
Generic proof assistant
Developer Tools 29 installs/mo 8.0
12 alternatives
Claude Code
claude-code
7.0
Terminal-based AI coding assistant
Developer Tools 94.1K installs/mo
Codex
codex
8.0
OpenAI's coding agent that runs in your terminal
Developer Tools 62.6K installs/mo
Bruno
bruno
8.5
Open source IDE for exploring and testing APIs
Developer Tools 5.5K installs/mo
Coq Platform
coq-platform
6.5
Formal proof management system
Developer Tools 10 installs/mo
Codex
codex-app
8.0
OpenAI's Codex desktop app for managing coding agents
Developer Tools 9.8K installs/mo
TLA+ Toolbox
tla+-toolbox
8.0
IDE for TLA+
Developer Tools 44 installs/mo
OpenCode
opencode-desktop
7.0
AI coding agent desktop client
Developer Tools 10.1K installs/mo
Julia
julia-app
8.0
Programming language for technical computing
Developer Tools 76 installs/mo
Auto Claude
auto-claude
8.5
Autonomous multi-session AI coding
Developer Tools 38 installs/mo
T3 Code
t3-code
8.0
Minimal GUI for AI code agents
Developer Tools 635 installs/mo
Digital
digital
7.0
Logic designer and circuit simulator
Developer Tools 20 installs/mo
Sculptor
sculptor
7.0
GUI for Claude Code
Developer Tools 5 installs/mo