LCI - A lambda calculus interpeter 0.6

Programas Relacionados

• Universal SQL Gateway Grátis

  O Universal SQL Gateway arquiva pedidos SQL através de firewalls sobre HTTP implementando um controlador especial JDBC. Fornece acessórios de base de dados seguros agindo como um componente de firewall geralmente referenciado

• Dev65 Grátis

  Dev65 é uma suíte macro montador, linker e bibliotecária para o 6501, 6502, 65C02, 65816 e 65832 família de microprocessadores codificados em Java para portabilidade. O código baseia-se num quadro que poderia suportar outras

• GameDirector Grátis

  GameDirector Ver 0.1 Devlopment Build 10 18-Novembro-10. O GameDirector é um novo sistema de desenvolvimento de jogos baseado no Motor Ogre e está em grande desenvolvimento.

• Flash and Boom Julgamento Gratuito

  Aplicação de medição de distância relâmpago.Um barulho de trovoada segue-se após alguns segundos um relâmpago.Flash e Boom Application usem este tempo para determinar a distância entre si e o ponto de impacto !

• Network Transparent Widgets (ntw) Grátis

  NTW é um protocolo de cliente/servidor de plataforma cruzada e conjunto de ferramentas widget que permite um funcionamento remoto eficiente, mesmo através de redes lentas. O seu objetivo é poder servir centenas de clientes r

• subtex Grátis

  subtex é uma versão XML do LaTeX, o popular sistema de tipagem. Contém um subconjunto dos comandos de látex (daí SUBtex), mas também contém muitas melhorias, incluindo um fabuloso sistema de bibliografia incorporado. Marcas L

• LogJana Grátis

  O programa logjana é um programa de registo para o servidor de procuração de jana V2. Divide o ficheiro principal "proxy.log" em ficheiros cronometrado. O ficheiro principal "proxy.log" não será alterado.

• elisa Grátis

  Elisa é uma biblioteca C++ aberta para técnicas de programação de restrições e de resolução de restrições. Algoritmos baseados em intervalos para resolver constrangimentos contínuos requerem que Gaol (http://sf.net/projects/

• PersianDate Grátis

  uma biblioteca c++ para converter data entre o calendário persa e gregoriano e algumas aulas de ajudante para a data de incremento ...

• Ada 2005 Math Extensions Grátis

  A norma Ada 2005 define operações reais e complexas de matriz e vetor. Nem todas as operações possíveis são suportadas, pelo que, por exemplo, apenas as matrizes simétricas ou eremitas podem ser resolvidas. Este projeto forne