Alternativas gratis a TLA+ Toolbox
Hay 10 alternativas gratis o con plan gratuito a TLA+ Toolbox (entorno de desarrollo integrado para especificaciones tla+, que permite editar, verificar y probar sistemas formales). 3 son de código abierto. Las primeras son las más parecidas y populares.
| Programa | Coste | Licencia | Plataformas |
|---|---|---|---|
 LiteIDE | Gratis | Propietaria | Mac |
| CodeSandbox | Freemium | Propietaria | Web |
| TheiaIDE | Gratis | Propietaria | Windows, Mac |
 NoSQLBooster for MongoDB | Freemium | Propietaria | Windows, Mac |
 RustRover | Freemium | Propietaria | Linux, Windows, Mac |
 Light Table | Gratis | Código abierto | Windows, Mac, Linux |
 Pelles C | Gratis | Propietaria | — |
 TeXnicCenter | Gratis | Código abierto | Windows |
 Eclipse Che | Gratis | Código abierto | Web |
 Coq Platform | Gratis | Propietaria | Mac |
Entorno de desarrollo integrado gratuito y de código abierto para programar en Go con soporte multiplataforma
Coste
GratisLicencia
PropietariaPlataformas
Mac
Plataforma de desarrollo en la nube para ejecutar, colaborar y desplegar proyectos de código desde cualquier dispositivo
Coste
FreemiumLicencia
PropietariaPlataformas
Web
Entorno de desarrollo abierto y nativo de IA para escritorio y nube, compatible con extensiones de VS Code y sin telemetría
Coste
GratisLicencia
PropietariaPlataformas
Windows, Mac
Herramienta gráfica e IDE para gestionar, depurar y optimizar bases de datos MongoDB con soporte para SQL y monitorización
Coste
FreemiumLicencia
PropietariaPlataformas
Windows, Mac
IDE comercial de JetBrains para desarrollo Rust con depuración, análisis en tiempo real e integración con Cargo
Coste
FreemiumLicencia
PropietariaPlataformas
Linux, Windows, Mac
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
GratisLicencia
Código abiertoPlataformas
Windows, Mac, Linux
Kit de desarrollo completo para Windows con compilador C optimizado, ensamblador, IDE integrada y herramientas de depuración
Coste
GratisLicencia
PropietariaPlataformas
—
Entorno de desarrollo integrado gratuito y de código abierto para crear documentos LaTeX en Windows
Coste
GratisLicencia
Código abiertoPlataformas
Windows
Plataforma de desarrollo en la nube que permite ejecutar IDEs favoritos en Kubernetes desde el navegador
Coste
GratisLicencia
Código abiertoPlataformas
Web
Prover de teoremas interactivo y lenguaje de programación dependiente para razonamiento formal en matemáticas e informática
Coste
GratisLicencia
PropietariaPlataformas
Mac
¿Buscas otra cosa? Mira todas las alternativas a TLA+ Toolbox.