Lambda 0.1.4

Date Added: August 24, 2010 | Visits: 829

Report Broken Link
Printer Friendly Version

Product Homepage
Download (113 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

USER REVIEWS

More Reviews or Write Review

LAMBDA RELATED

Programming - Hugs 98(March2005) Hugs 98 is a functional programming system based on Haskell 98, the de facto standard for non-strict functional programming languages. Hugs 98 provides an almost complete implementation of Haskell 98, including: - Lazy evaluation, higher order...	4.2 MB
Libraries - DFA::Kleene 1.0 DFA::Kleene is a Kleenes Algorithm for Deterministic Finite Automata. Calculates the "language" (set of words) accepted (= recognized) by a Deterministic Finite Automaton. SYNOPSIS use DFA::Kleene qw(initialize define_accepting_states...	5.12 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
Utilities - Harmoni PHP Project 1.9.4 The Harmoni PHP Project consists of three major components: 1) A PHP application framework and architecture, offering, e.g. authentication, DBC, file storage 2) PHP OKI OSID (service definitions) conversion system 3) PHP implementations of those...	2.26 MB
Multimedia & Graphics - Lambda Animator New Lambda Animator is designed as an accessible and handy application that can be used for demonstrating and experimenting with alternative reduction strategies in the lambda calculus. Eager languages reduce arguments before function application....
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
Programming - PetitLambda 0.1 An interpreter of lambda calculus.It shows reduction process of lambda terms.Several evaluation strategies are supported.Output format can be selected from LaTex, plain text.	51.81 KB
Scientific and Engineering - Discrete Event Calculus Reasoner 1.0 The Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning using the event calculus, a comprehensive and highly usable logic-based formalism. It solves problems efficiently by converting them into...
Programming - lambda-gtk 0.1 λgtk is a cross-platform Lisp interface to the complete GTK+2 family of shared libraries. λgtk currently runs in the following Lisp environments: PPC/Darwin OpenMCL 0.14.2-p1 x86/Linux SBCL 0.8.16 x86/Linux CMUCL 19a and is released under...	378.88 KB

NEW DOWNLOADS IN LINUX SOFTWARE, EDUCATION

Linux Software - EasyEDA PCB Designer for Linux 2.0.0 EasyEDA, a great web based EDA(Electronics Design Automation) tool, online PCB tool, online PCB software for electronics engineers, educators, students, makers and enthusiasts. Theres no need to install any software. Just open EasyEDA in any...	34.4 MB
Linux Software - wpCache® WordPress HTTP Cache 1.9 wpCacheÂ® is a high-performance, distributed object, caching system application, generic in nature, but intended for use in speeding up dynamic web applications, by decreasing database load time. wpCacheÂ® decreases dramatically the page...	3.51 MB
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
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 - 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
Education - Law Leecher 1.4u1 Law Leecher is a multi-threaded web crawling tool which extracts laws from the EU law database PreLex (http://ec.europa.eu/prelex/). It's written in Ruby. The latest version is 1.4 You can also visit the SourceForge project management...	430.08 KB
Education - The Brookshear Machine 1.0 The Brookshear Machine is an assembly language compiler that uses a language specification in Computer Science: An Overview, by Glenn Brookshear.	51.2 KB

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts