Submit Software
  1. Home
  2. Linux
  3. Other
  4. LCI - A lambda calculus interpeter
  5. Download

LCI - A lambda calculus interpeter 0.6

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes

ABOUT LCI - A lambda calculus interpeter

LCI is an interpreter for the lambda calculus. It supports many advances features like integers, recursion, user defined operators and multiple evaluation strategies.

Related Programs

  • Universal SQL Gateway Free

    The Universal SQL Gateway tunnels SQL requests through firewalls over HTTP by implementing a special JDBC driver. It provides secure database acces by acting as a firewall component commonly refered to as Application Gateway.

  • Dev65 Free

    Dev65 is a macro assembler, linker and librarian suite for the 6501, 6502, 65C02, 65816 and 65832 family of microprocessors coded in Java for portability. The code is based on a framework that could support other system archi

  • GameDirector Free

    GameDirector Ver 0.1 Devlopment Build 10 18-November-10. GameDirector is a new game development system based on the Ogre Engine and is in heavy development.

  • Flash and Boom Free Trial

    Lightning distance measurement application.A rumble of thunder follows after some seconds a flash of lightning.Flash and Boom Application use this time to determine distance between you and the impact point !

  • Network Transparent Widgets (ntw) Free

    NTW is a cross-platform client/server protocol and widget toolkit that allows efficient remote operation, even over slow networks. Its goal is to be able to serve hundreds of remote clients with a single inexpensive server.

  • subtex Free

    subtex is an XML version of LaTeX, the popular typesetting system. It contains a subset of the latex commands (hence SUBtex) but also contains many improvements, including a fabulous built-in bibliography system. LaTeX tags i

  • LogJana Free

    The logjana program is a log program for the jana proxy server V2. It splits the main logfile "proxy.log" in timed files. The main logfile "proxy.log" will not be change. For questions send a mail at micha

  • elisa Free

    Elisa is an open C++ library for constraint programming and constraint solving techniques. Interval-based algorithms for solving continuous constraints require that Gaol (http://sf.net/projects/gaol) is already installed on

  • PersianDate Free

    a c++ library for converting date between Persian and Gregorian calendar and some helper classes to incrementing date ...

  • Ada 2005 Math Extensions Free

    The Ada 2005 standard defines real and complex matrix and vector operations. Not every possible operation is supported, so for example only symmetric or hermitian matrices can be solved. This project provides extensions to th