Alternativas a LEGO para Linux

Hay 4 alternativas para Linux a LEGO (asistente de pruebas formales basado en teorías de tipos para verificar programas y lógicas). 4 son de código abierto. Las primeras son las más parecidas y populares.

Alternativas a LEGO para Linux
ProgramaCosteLicenciaPlataformas
LuaGratisCódigo abiertoMac, Linux
ClipperGratisCódigo abiertoMac, Linux
OpalGratisCódigo abiertoMac, Linux
RubyGratisCódigo abiertoMac, Linux, Windows
Lenguaje de programación interpretado y ligero, diseñado principalmente para ser embebido en aplicaciones
  • Coste

    Gratis
  • Licencia

    Código abierto
  • Plataformas

    Mac, Linux
Lenguaje de programación
  • Coste

    Gratis
  • Licencia

    Código abierto
  • Plataformas

    Mac, Linux
La web oficial describe una aplicación de gestión del tiempo de pantalla, no el lenguaje de programación Opal
  • Coste

    Gratis
  • Licencia

    Código abierto
  • Plataformas

    Mac, Linux
Lenguaje de programación interpretado, reflexivo y orientado a objetos diseñado para la productividad y la simplicidad
  • Coste

    Gratis
  • Licencia

    Código abierto
  • Plataformas

    Mac, Linux, Windows

¿Buscas otra cosa? Mira todas las alternativas a LEGO.

Alternativas a LEGO para Linux – alternativ.es