Visual Lambda Calculator with Mind Maps

Programas Relacionados

• XML-RPC for C/C++ (Xmlrpc-c) Grátis

  Biblioteca de programação para escrever um servidor XML-RPC ou cliente em C ou C++. XML-RPC é um protocolo de rede padrão para permitir que um programa de clientes faça um pedido de chamada de procedimento remoto simples (RPC

• Visio-EMF Bridge Grátis

  A Ponte Visio-EMF oferece a transformação de stencils Visio e modelos Visio em metamodels EMF e modelos EMF, respectivamente. A ponte permite o processamento de modelos Visio com ferramentas EMF, tais como, openArchitectureWa

• DMG Automounter for Linux Grátis

  DMG Automounter é um script nautilus que permite que qualquer distribuição de Linux para montar um ficheiro Mac OS X .dmg (mas não instalá-lo, uma vez que isso exigiria as APIs Mac OS X que são fonte fechada). A README tem in

• LiveGraph Grátis

  Um conspirador de gráficos em tempo real. Enquanto a sua aplicação está a calcular e registar resultados num ficheiro CSV utilizando a API do LiveGraph Writer, o plotter permite visualizar e monitorizar os resultados ao vivo

• MGP Grátis

  O plugin Maven GWT é utilizado para compilar ficheiros de origem JavaScript a partir da fonte Java. O plugin executa o GWTCompiler, permite configurar opções de compilador, deteta automaticamente a localização de ficheiros de

• pGina Grátis

  pGina é um sistema de autenticação de substituição de código aberto para o Windows OS que utiliza plugins fáceis de escrever para acomodar para autenticação através de extremidades traseiras ilimitadas.

• PostNuke module pnEWiki Grátis

  ErfurtWiki é uma implementação do sistema de hipertexto WikiWikiWeb (escrito na linguagem de script php). pnEWiki é um Módulo Pós-Nuke para a integração e melhoria de ErfurtWiki em PostNuke.

• Stewien's Miscellanous Libraries Grátis

  Uma coleção de bibliotecas diversas, pequenas aplicações e utilidades. Um pouco de algo para todos.

• ioda fulltext engine Grátis

  Ioda é um software de indexação de texto completo, armazenando palavras e meta dados. Lida com operadores lógicos, parênteses e valores de distância de palavras em consultas. Para utilizar como suplemento de uma base de dados

• more - a C++ library Grátis

  Uma biblioteca multiusos: relacionada com STL, como as expressões de lambda de encerramentos e a ordem parcial. Codificação de compilação de gerações e chamadas de função interpretadas. Matemática e física, com espiradores,