Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. LCI - A lambda calculus interpeter
  5. Download

LCI - A lambda calculus interpeter 0.6

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 4.0/5 - ‎1 ‎Votos

Sobre LCI - A lambda calculus interpeter

LCI é um intérprete para o cálculo lambda. Suporta muitos recursos de avanço, como inteiros, recursão, operadoras definidas pelo usuário e múltiplas estratégias de avaliação.

Programas Relacionados

  • Universal SQL Gateway Livre

    O Universal SQL Gateway solicita SQL através de firewalls sobre HTTP, implementando um driver JDBC especial. Ele fornece acces de banco de dados seguros agindo como um componente de firewall comumente referido como Applicatio

  • Dev65 Livre

    Dev65 é uma montadora macro, linker e suíte bibliotecária para a família 6501, 6502, 65C02, 65816 e 65832 de microprocessadores codificados em Java para portabilidade. O código é baseado em uma estrutura que poderia suportar

  • GameDirector Livre

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

  • Flash and Boom Avaliação gratuita

    Aplicação de medição de distância de raios.Um estrondo de trovão segue após alguns segundos um relâmpago.O aplicativo Flash e Boom usa este tempo para determinar a distância entre você e o ponto de impacto !

  • Network Transparent Widgets (ntw) Livre

    O NTW é um protocolo de cliente/servidor multiplataforma e um kit de ferramentas de widget que permite uma operação remota eficiente, mesmo em redes lentas. Seu objetivo é poder atender centenas de clientes remotos com um ún

  • subtex Livre

    subtex é uma versão XML do LaTeX, o popular sistema de digitação. Ele contém um subconjunto dos comandos de látex (daí OUBtex), mas também contém muitas melhorias, incluindo um fabuloso sistema de bibliografia incorporado. Ma

  • LogJana Livre

    O programa logjana é um programa de registro para o servidor proxy jana V2. Ele divide o arquivo principal de logfile "proxy.log" em arquivos cronometrados. O principal logfile "proxy.log" não será a alter

  • elisa Livre

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

  • PersianDate Livre

    uma biblioteca c++ para conversão de data entre calendário persa e gregoriano e algumas classes auxiliares para a data de incremento ...

  • Ada 2005 Math Extensions Livre

    A norma Ada 2005 define operações de matriz e vetores reais e complexos. Nem todas as operações possíveis são suportadas, por exemplo, apenas matrizes simétricas ou hermitianas podem ser resolvidas. Este projeto fornece exten