Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 30.071.784 Times

Lambda 0.1.4

  Date Added: August 24, 2010  |  Visits: 614

Lambda

Report Broken Link
Printer Friendly Version


Product Homepage
Download (88 downloads)

Lambda project is a Lambda calculus interpreter. It reduces lambda expressions and converts them into the S, K, and I combinators (ext). It has the ability to associate names with lambda expressions (def), load definitions from a file (load), and list current definitions (list). Lambda expressions representing integers are automatically defined as needed. Many interesting combinators are provided in a definition file. Various settings are provided to influence the way reduction and extraction are performed (set). A short manual is provided showing how lambda works..

Requirements: No special requirements
Platforms: Linux
Keyword: Calculus Definitions Education Expressions Lambda Lambda Calculus Lambda Expressions List Miscellaneous Project
Users rating: 0/10

License: Freeware Size: 102.4 KB
LAMBDA RELATED
Education  -  Python lambda calculus module 1.0
Python lambda calculus module project is a simple but full-featured module for exploring lambda calculus. It understands the different types of lambda expressions, can extract lists of variables (both free and bound) and subterms, and can...
14.34 KB  
Education  -  Calculus Quiz 1.0.0.0
Calculus quiz. Test your knowledge in calculus, integration and derivation. Note: This is only a demo, and depending on the demand, many more problems will be added. Requirements: Windows Phone 8.1, Windows Phone 8
1024 KB  
Libraries  -  Lambda Expression Parser 2.0
Lambda Expression Parser is a handy and useful expression parser for parsing dynamical expression string to lambda expression. The component can perform math, logical and bit-wise calculations. Get Lambda Expression Parser and take it for a spin...
 
Development Tools  -  LAMBDA - Wavelength Calculator 1.0
This function will calculate the wavelength of a given frequency. By default the program will presume the entered value is in MHZ. However if you want to enter a frequency in another scale you also have the option to enter the scaling parameter as...
10 KB  
Libraries  -  GIS::Distance::Vincenty 0.01001
GIS::Distance::Vincenty Perl module contains Thaddeus Vincenty distance calculations. SYNOPSIS my $calc = GIS::Distance::Vincenty->new(); my $distance = $calc->distance( $lon1, $lat1 => $lon2, $lat2 ); For the benefit of the terminally...
8.19 KB  
Libraries  -  libmatheval 1.1.5
GNU libmatheval is a library (callable from C and Fortran) to parse and evaluate symbolic expressions input as text. libmatheval supports expressions in any number of variables of arbitrary names, decimal and symbolic constants, basic unary and...
512 KB  
Scientific and Engineering  -  Open BEAGLE 3.0.1
Open BEAGLE is a C Evolutionary Computation (EC) framework. It provides an high-level software environment to do any kind of EC, with support for tree-based genetic programming; bit string, integer-valued vector, and real-valued vector genetic...
 
Java Based Databases  -  RegexSR 1.0
RegexSR is a very easy-to-use and powerful tool (written in Java) to create and test complex regular expressions. The plugin system provides extra functionalities, such as transforming expressions into Java code, and allows the user to create his...
959 KB  
Utilities  -  repasa 1.3
repasa is a set of three kind of tools: For creation of contents directly in the XML format of repasa or in other file formats (DocBook and LaTeX) following some conventions, for checking the contents, and for studying the contents and registering...
1.1 MB  
Programming  -  EXTE 2.0.beta
EXTE recognizes temporal expressions in a text. Temporal expressions are any references to the TIME e.g.: 'today', '12th march 2006', 'as soon as he woke up'. This analyzer will recognize three languages: Spanish, English and French.
3.56 MB  
NEW DOWNLOADS IN LINUX SOFTWARE, EDUCATION
Linux Software  -  Polling Autodialer Software 3.4
ICTBroadcast Auto Dialer software has a survey campaign for telephone surveys and polls. This auto dialer software automatically dials a list of numbers and asks them a set of questions that they can respond to, by using their telephone keypad....
488 B  
Linux Software  -  Total Video Converter Mac Free 3.5.5
Total Video Converter Mac Free developed by EffectMatrix Ltd is the official legal version of Total Video Converter which was a globally recognized brand since 2006. Total Video Converter Mac Free is a free but powerful all-in-one video...
17.7 MB  
Linux Software  -  Skeith mod_log_sql Analyzer 2.10beta2
Skeith is a php based front end for analyzing logs for Apache using mod_log_sql.
47.5 KB  
Linux Software  -  SLAX 6.0+
Slax is a modern, portable, small and fast Linux operating system with a modular approach and outstanding design. Despite its small size, Slax provides a wide collection of pre-installed software for daily use, including a well organized graphical...
190 KB  
Linux Software  -  GTK+ 2.5
GTK+, which stands for the GIMP Toolkit, is a library for creating graphical user interfaces for the X Window System. It is designed to be small, efficient, and flexible. GTK+ is written in C with a very object-oriented approach. Language bindings...
60 MB  
Education  -  KB Piano 2.5.2
KB Piano will turn your computer into a piano and more. Easily create song with multiple instruments (guitar, bass, drums, and vocals from your microphone). If you don't know music theory, use the application tools to automatically create...
10.61 MB  
Education  -  EgoNet for Linux 2011-03-31
Egonet is a program for the collection and analysis of egocentric network data. It helps you create the questionnaire, collect data, and provide general global network measures and data matrixes that can be used for further analysis by other...
10.87 MB  
Education  -  Vectronics 0.2
Vectronics is a way to share schematics. It makes quick svg images that can be displayed in a browser and reopened and reedited as a schematic. Hyperlinks can also be added to link to data sheets or source code. It is a simple xml based drawing...
399.36 KB  
Education  -  Learn Words 0.1
This program helps you to learn words of foreign languages. You can type in the words and their meanings and then the computer asks them and rates you. You can also grab the words from a file and look up their meanings with the included electronic...
61.44 KB  
Education  -  Familier for Linux 0.91.12
Familier is cross-platform Family Tree management (Genealogy) Software using QT. It supports viewing/editing file tree using drag-drop in multiple ways. Events allow you to define events in any number.
5.88 MB