← Back to Isabelle
Alternatives to Isabelle
Generic proof assistant
Developer Tools 24 installs/mo 8.0
12 alternatives
Claude Code
claude-code
7.0
Terminal-based AI coding assistant
Developer Tools 140.0K installs/mo
Codex
codex
8.0
OpenAI's coding agent that runs in your terminal
Developer Tools 86.9K installs/mo
Bruno
bruno
8.5
Open source IDE for exploring and testing APIs
Developer Tools 5.4K installs/mo
Coq Platform
coq-platform
6.5
Formal proof management system
Developer Tools 9 installs/mo
TLA+ Toolbox
tla+-toolbox
8.0
IDE for TLA+
Developer Tools 66 installs/mo
Codex
codex-app
8.0
OpenAI's Codex desktop app for managing coding agents
Developer Tools 7.7K 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 88 installs/mo
Auto Claude
auto-claude
8.5
Autonomous multi-session AI coding
Developer Tools 67 installs/mo
T3 Code
t3-code
8.0
Minimal GUI for AI code agents
Developer Tools 2.2K installs/mo
Digital
digital
7.0
Logic designer and circuit simulator
Developer Tools 16 installs/mo
RustRover
rustrover
8.0
Rust IDE
Developer Tools 179 installs/mo