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

LCI - A lambda calculus interpeter 0.6

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 4.0/5 - ‎1 ‎Votos

acerca de LCI - A lambda calculus interpeter

LCI es un intérprete para el cálculo de lambda. Admite muchas características de avances como enteros, recursividad, operadores definidos por el usuario y múltiples estrategias de evaluación.

Programas relacionados

  • Universal SQL Gateway Gratis

    Universal SQL Gateway tuneliza las solicitudes SQL a través de firewalls a través de HTTP mediante la implementación de un controlador JDBC especial. Proporciona acceso seguro a la base de datos actuando como un componente de

  • Dev65 Gratis

    Dev65 es una suite de ensamblador, vinculador y bibliotecario para la familia de microprocesadores 6501, 6502, 65C02, 65816 y 65832 codificados en Java para la portabilidad. El código se basa en un marco de trabajo que podría

  • GameDirector Gratis

    GameDirector Ver 0.1 Devlopment Build 10 18-November-10. GameDirector es un nuevo sistema de desarrollo de juegos basado en el Ogre Engine y está en un gran desarrollo.

  • Flash and Boom Prueba gratuita

    Aplicación de medición de distancia de rayo.Un estruendo de trueno sigue después de unos segundos un destello de relámpago.Flash y Boom Aplicación utilizar este tiempo para determinar la distancia entre usted y el punt

  • Network Transparent Widgets (ntw) Gratis

    NTW es un protocolo cliente/servidor multiplataforma y un kit de herramientas de widgets que permite un funcionamiento remoto eficiente, incluso a través de redes lentas. Su objetivo es poder servir a cientos de clientes rem

  • subtex Gratis

    subtex es una versión XML de LaTeX, el popular sistema de tipografía. Contiene un subconjunto de los comandos de látex (por lo tanto, SUBtex) pero también contiene muchas mejoras, incluyendo un fabuloso sistema bibliográfico

  • LogJana Gratis

    El programa logjana es un programa de registro para el servidor proxy jana V2. Divide el archivo de registro principal "proxy.log" en archivos cronolazados. El archivo de registro principal "proxy.log" no

  • elisa Gratis

    Elisa es una biblioteca de C++ abierta para la programación de restricciones y técnicas de resolución de restricciones. Los algoritmos basados en intervalos para resolver restricciones continuas requieren que Gaol (http://sf

  • PersianDate Gratis

    una biblioteca c++ para convertir la fecha entre el calendario persa y gregoriano y algunas clases auxiliares a la fecha de incremento ...

  • Ada 2005 Math Extensions Gratis

    El estándar Ada 2005 define operaciones de matriz y vectores reales y complejas. No se admiten todas las operaciones posibles, por lo que, por ejemplo, solo se pueden resolver matrices simétricas o hermitas. Este proyecto pro