← 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 3.0K installs/mo
Android Studio
android-studio
7.5
Tools for building Android applications
Developer Tools 12.3K installs/mo
JetBrains Toolbox
jetbrains-toolbox
7.0
JetBrains tools manager
Developer Tools 2.4K installs/mo
CodeQL
codeql
8.0
Semantic code analysis engine
Developer Tools 531 installs/mo
Trae
trae
8.0
Adaptive AI IDE
Developer Tools 374 installs/mo
T3 Code
t3-code
8.0
Minimal GUI for AI code agents
Developer Tools 635 installs/mo
CMake
cmake-app
8.0
Family of tools to build, test and package software
Developer Tools 284 installs/mo
Isabelle
isabelle
8.0
Generic proof assistant
Developer Tools 29 installs/mo
Qt Creator
qt-creator
8.0
IDE for application development
Developer Tools 318 installs/mo
PyCharm
pycharm
8.0
IDE for professional Python development
Developer Tools 1.6K installs/mo
NetBeans IDE
netbeans
7.0
Development environment, tooling platform and application framework
Developer Tools 132 installs/mo
RustRover
rustrover
8.0
Rust IDE
Developer Tools 156 installs/mo