Alternativas a TLA+ Toolbox para Windows

Hay 8 alternativas para Windows a TLA+ Toolbox (entorno de desarrollo integrado para especificaciones tla+, que permite editar, verificar y probar sistemas formales). 2 son de código abierto. Las primeras son las más parecidas y populares.

Alternativas a TLA+ Toolbox para Windows
Programa	Coste	Licencia	Plataformas
TheiaIDE	Gratis	Propietaria	Windows, Mac
NoSQLBooster for MongoDB	Freemium	Propietaria	Windows, Mac
RustRover	Freemium	Propietaria	Linux, Windows, Mac
Lens	—	Propietaria	Windows, Mac
Rider	Prueba gratuita	Propietaria	Mac, Windows
Light Table	Gratis	Código abierto	Windows, Mac, Linux
CLion	Suscripción	Propietaria	Mac, Windows, Linux
TeXnicCenter	Gratis	Código abierto	Windows

TheiaIDE

Entorno de desarrollo abierto y nativo de IA para escritorio y nube, compatible con extensiones de VS Code y sin telemetría

Coste
Gratis
Licencia
Propietaria
Plataformas
Windows, Mac

NoSQLBooster for MongoDB

Herramienta gráfica e IDE para gestionar, depurar y optimizar bases de datos MongoDB con soporte para SQL y monitorización

Coste
Freemium
Licencia
Propietaria
Plataformas
Windows, Mac

RustRover

En español

IDE comercial de JetBrains para desarrollo Rust con depuración, análisis en tiempo real e integración con Cargo

Coste
Freemium
Licencia
Propietaria
Plataformas
Linux, Windows, Mac

Lens

IDE de escritorio para gestionar, depurar y operar clústeres de Kubernetes con contexto visual y terminal integrado

Coste
—
Licencia
Propietaria
Plataformas
Windows, Mac

Rider

Entorno de desarrollo integrado multiplataforma para crear aplicaciones .NET y videojuegos con Unity, Unreal o Godot

Coste
Prueba gratuita
Licencia
Propietaria
Plataformas
Mac, Windows

Light Table

Editor de código e IDE de nueva generación que ofrece retroalimentación instantánea y visualización de datos en tiempo real

Coste
Gratis
Licencia
Código abierto
Plataformas
Windows, Mac, Linux

CLion

Entorno de desarrollo integrado de JetBrains para programar, depurar y gestionar proyectos en C y C++ de forma profesional

Coste
Suscripción
Licencia
Propietaria
Plataformas
Mac, Windows, Linux

TeXnicCenter

Entorno de desarrollo integrado gratuito y de código abierto para crear documentos LaTeX en Windows

Coste
Gratis
Licencia
Código abierto
Plataformas
Windows

¿Buscas otra cosa? Mira todas las alternativas a TLA+ Toolbox.