LCI - A lambda calculus interpeter

  •        0

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

http://lci.sourceforge.net

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects

Lcy-tools - some tools


some tools written by perl.

Lcy-simpleblog - a simple blog written by catalyst


I belive catalyst is a beautiful framework. The main goal is to study: 1. how to promote web performance; 2. how to expand architecture 3. how to modularize code 4. how to use extreme programming 5. study new technique. catalyst + posgresql now.

Timednetworkshutdown - Tools to shutdown computers at a certain time determined by a server


This project comes from the need to have the computers in my college lab to shutdown at a certain time. However, this time is not equal to all computers, and may change in some days, due to different schedules, so this time is to be found at a server, which upon query answers simply "yes", if the computer should be shutdown, or "not" if shouldn't. As the project is originally in portuguese, it awaits for "sim", which means "yes", and "nao", which means "not". It has a C# program for windows and

Php-rstr-max - A PHP tool for extraction of maximal repeats in strings


This implementation allows the detection, in quasi-linear time, of all the maximal repeats in one, or more, strings. Let S a string of lenght ''n'' over a finite alphabet Σ. Si refer to the i-th character of S. Si..j refers to a substring of S starting at the position i and ending at position j. Each position 0 ≤ i < n represents a unique suffix Si..n-1 of S. LCi refers to the Left Context of a suffix i. We note £ the special left context LC0. We note with the special symbol $ the character

Rebayct - A text classification tool over a tesaurus


ReBayCTIntroductionReBayCT ('Redes Bayesianas para Clasificación en Tesauros', literally in Spanish "Bayesian networks for classification from a Thesaurus") is a console-based tool for performing experiments in Thesaurus-based indexing, that is to say, Text Categorization over the set of descriptors of a thesaurus. For more information in this problem, see 1. There are several classifiers implemented in this software. Two baseline (VSM and hierarchical VSM) and one algorithm based in Bayesian n

ly_crawler - Crawl data on http://lci.ly.gov.tw/


Crawl data on http://lci.ly.gov.tw/

justinmeza-lolcode


A first attempt at a LOLCODE interpreter written in C; please use the lci project instead!

justinmeza-lci


A LOLCODE interpreter written in C.

lci - Linux Command Interpreter


Linux Command Interpreter







Open source products are scattered around the web. Please provide information about the open source projects you own / you use. Add Projects.

Tag Cloud >>