Alternativas a TLA+ Toolbox para Mac

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

Alternativas a TLA+ Toolbox para Mac
Programa	Coste	Licencia	Plataformas
LiteIDE	Gratis	Propietaria	Mac
TheiaIDE	Gratis	Propietaria	Windows, Mac
NoSQLBooster for MongoDB	Freemium	Propietaria	Windows, Mac
SEGGER Embedded Studio for Arm and RISC-V	De pago	Propietaria	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
Coq Platform	Gratis	Propietaria	Mac

LiteIDE

Entorno de desarrollo integrado gratuito y de código abierto para programar en Go con soporte multiplataforma

Coste
Gratis
Licencia
Propietaria
Plataformas
Mac

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

SEGGER Embedded Studio for Arm and RISC-V

IDE multiplataforma para el desarrollo de sistemas embebidos con soporte para arquitecturas Arm y RISC-V

Coste
De pago
Licencia
Propietaria
Plataformas
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

Coq Platform

Prover de teoremas interactivo y lenguaje de programación dependiente para razonamiento formal en matemáticas e informática

Coste
Gratis
Licencia
Propietaria
Plataformas
Mac

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