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