← Back to TLA+ Toolbox
Alternatives to TLA+ Toolbox
IDE for TLA+
Developer Tools 66 installs/mo 8.0
12 alternatives
IntelliJ IDEA Ultimate
intellij-idea
8.0
Java IDE by JetBrains
Developer Tools 3.0K installs/mo
Android Studio
android-studio
7.5
Tools for building Android applications
Developer Tools 11.5K installs/mo
JetBrains Toolbox
jetbrains-toolbox
7.0
JetBrains tools manager
Developer Tools 2.6K installs/mo
Trae
trae
8.0
Adaptive AI IDE
Developer Tools 457 installs/mo
CodeQL
codeql
8.0
Semantic code analysis engine
Developer Tools 572 installs/mo
T3 Code
t3-code
8.0
Minimal GUI for AI code agents
Developer Tools 2.2K installs/mo
Qt Creator
qt-creator
8.0
IDE for application development
Developer Tools 389 installs/mo
PyCharm
pycharm
8.0
IDE for professional Python development
Developer Tools 1.4K installs/mo
CMake
cmake-app
8.0
Family of tools to build, test and package software
Developer Tools 378 installs/mo
Isabelle
isabelle
8.0
Generic proof assistant
Developer Tools 24 installs/mo
NetBeans IDE
netbeans
7.0
Development environment, tooling platform and application framework
Developer Tools 184 installs/mo
RustRover
rustrover
8.0
Rust IDE
Developer Tools 179 installs/mo