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

Lambda 0.1.4

Date Added: August 24, 2010  |  Visits: 605

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
USER REVIEWS
 More Reviews or Write Review
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