Enviar Software
  1. Casa
  2. Linux
  3. Outros
  4. LCI - A lambda calculus interpeter

LCI - A lambda calculus interpeter 0.6

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 4.0/5 - ‎1 ‎votos
Baixar

LCI é um intérprete para o cálculo lambda. Suporta muitos avanços como número inteiros, recursão, operadores definidos pelo utilizador e múltiplas estratégias de avaliação.

história da versão

  • Versão 0.6 postado em 2008-02-14
    Várias correções e atualizações
  • Versão 0.6 postado em 2008-02-14

Detalhes do programa

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