Ir al contenido
ES

Programa · Desarrollo

TLA+ Toolbox

TLA+ Toolbox es un entorno de desarrollo integrado para las herramientas TLA+.

  • Totalmente gratis
  • Linux
  • Código abierto

Presentación

TLA+ Toolbox es un editor de código, disponible en Linux.

Presentación redactada por LicitPro a partir de la documentación publicada por los autores y las fuentes citadas; no hemos probado el recurso.

Extractos que respaldan esta información
  • «TLA+ Toolbox is an IDE (integrated development environment) for the TLA+ tools» — Flathub, 10 de noviembre de 2026

Lo esencial

TLA+ Toolbox es totalmente gratis: es software libre y todas sus funciones están disponibles sin pagar ni suscribirse.

Su licencia (MIT) es libre y permisiva: se permite usarlo, modificarlo y redistribuirlo, incluso en un proyecto comercial.

Puntos fuertes

  • Código abierto
  • Uso comercial permitido

Fuentes y comprobaciones

  • Datos obtenidos de Flathub (tarjeta bancaria, editor, licencia, gratuidad, plataformas, uso comercial, versión) —
  • Última comprobación técnica: 9 de noviembre de 2026
  • Descripción tomada de Flathub — AppStream (Flathub)

Cómo se elaboran las fichas →

¿Desarrollas TLA+ Toolbox?

Corrige la ficha con el formulario de reporte, o cítala con esta insignia opcional (muestra la gratuidad verificada y no cambia nada en la clasificación):

<a href="https://licitpro.fr/es/recurso/tla-toolbox"><img src="https://licitpro.fr/badge/tla-toolbox.svg?l=es" alt="En el catálogo de LicitPro" height="20"></a>

Desarrolladores y editores →

En la misma categoría

Visual Studio Code

Programa

Editor de código fuente desarrollado por Microsoft.

Totalmente gratisWinMacLinux

Zed

Programa · Código abierto

Zed es un editor de código, disponible en Windows, macOS y Linux: autocompletado de código.

Versión gratuita limitadaWinMacLinux

Konsole

Programa · Código abierto

Konsole es un emulador de terminal, disponible en Windows y Linux: uso por línea de comandos.

Totalmente gratisWinLinux

pgAdmin 4

Programa · Código abierto

pgAdmin 4 es un programa de gestión de bases de datos, disponible en Windows, macOS y Linux: resaltado de sintaxis, autocompletado de código y gestión de varios usuarios.

Totalmente gratisWinMacLinux

DB Browser for SQLite

Programa · Código abierto

Interfaz gráfico para bases de datos de SQLite.

Totalmente gratisWinMacLinux

Scratch

Programa · Código abierto

Lenguaje de programación visual por bloques.

Totalmente gratisWinMacLinuxAndroidWeb