Visual Lambda Calculator with Mind Maps

Programas relacionados

• XML-RPC for C/C++ (Xmlrpc-c) Gratis

  Biblioteca de programación para escribir un servidor o cliente XML-RPC en C o C++. XML-RPC es un protocolo de red estándar para permitir que un programa cliente realice una solicitud de tipo simple de llamada a procedimiento

• Visio-EMF Bridge Gratis

  El Puente Visio-EMF ofrece la transformación de plantillas de Visio y modelos de Visio en metamodelos EMF y modelos EMF, respectivamente. El puente permite el procesamiento de modelos de Visio con herramientas EMF, como openA

• DMG Automounter for Linux Gratis

  DMG Automounter es un script nautilus que permite a cualquier distribución de Linux montar un archivo de .dmg de Mac OS X (pero no instalarlo, ya que eso requeriría las API de Mac OS X que son de código cerrado). README tiene

• LiveGraph Gratis

  Un trazador de gráficos en tiempo real. Mientras la aplicación calcula y registra los resultados en un archivo CSV mediante la API LiveGraph Writer, el trazador le permite visualizar y supervisar los resultados en directo, tr

• MGP Gratis

  El plugin Maven GWT se utiliza para compilar archivos de origen JavaScript desde el origen Java. El plugin ejecuta GWTCompiler, permite configurar las opciones del compilador, detecta automáticamente la ubicación de los archi

• pGina Gratis

  pGina es un sistema de autenticación de reemplazo de código abierto para el sistema operativo Windows que utiliza plugins fáciles de escribir para acomodar para la autenticación a través de back ends ilimitados.

• PostNuke module pnEWiki Gratis

  ErfurtWiki es una implementación del sistema de hipertexto WikiWikiWeb (escrito en el lenguaje de scripting PHP). pnEWiki es un PostNuke-Module para la integración y mejora de ErfurtWiki en PostNuke.

• Stewien's Miscellanous Libraries Gratis

  Una colección de bibliotecas diversas, pequeñas aplicaciones y utilidades. Un poco de algo para todos.

• ioda fulltext engine Gratis

  ioda es un software de indexación de texto completo, que almacena palabras y metadatos. Controla los operadores lógicos, paréntesis y valores de distancia de palabras en las consultas. Para usar como complemento de una base d

• more - a C++ library Gratis

  Una biblioteca multipropósitos: relacionada con STL, como expresiones lambda de cierres y ordenación parcial. Generación de código-compilación-vinculación y llamadas de función interpretadas. Matemáticas y física, con spino