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 29.547.641 Times

Python lambda calculus module 1.0

  Date Added: April 22, 2010  |  Visits: 1.102

Python lambda calculus module

Report Broken Link
Printer Friendly Version


Product Homepage
Download (152 downloads)



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 simplify complicated expressions by means of application. Notations for lambda expressions vary slightly, so it is instructive to detail the precise notation used by this module. A variable is expressed with a string of alphanumeric characters, e.g., x or abc1. Whats New in This Release: - Initial release..

Requirements: No special requirements
Platforms: Linux
Keyword: Calculus Education Lambda Lambda Calculus Miscellaneous Module Project Python Simple
Users rating: 0/10

License: Freeware Size: 14.34 KB
USER REVIEWS
More Reviews or Write Review


PYTHON LAMBDA CALCULUS MODULE RELATED
Database Tools  -  Sybase module for Python 0.38
Sybase module for Python project provides a Python interface to the Sybase relational database system. The Sybase package supports all of the Python Database API, version 2.0 with extensions. Whats New in This Release: - This release works...
99.33 KB  
Programming  -  SimpleGUI Support Module 679
SimpleGUI Support Module project is a simple GUI widget set for SDL/OpenGL. It is useful for any simple OpenGL apps that needs a simple GUI. Getting the latest version through SVN and install it:.
102.4 KB  
Network & Internet  -  jonpy 0.08
jonpy is a simple yet powerful multi-threaded object-oriented CGI/FastCGI/mod_python/html-templating module for Python. All the modules are implemented entirely in pure Python, so installation is very simple. The Python distutils system...
51.2 KB  
Development Tools  -  TimeSheet4dotProject 1.0
TimeSheet4dotProject features for simple easy to use time sheet plug in / module for dot project.
450.56 KB  
Modules  -  Multisite info 6.x-1.x-de
This module is very simple with following feature -- Provides a menu for multi site list- List all sites by reading sites folder that is sitename as per drupal multisite instruction- Provides link to run cron and update.php for all site from a...
10 KB  
Business  -  Project Controls 1.0.0.15
Project Control, can only be use together wit E-conomic.com To use the Project Controls you must have the following: * Account with E-conomic.dk * User access to API * User access to Project Module. Project Module must be...
1024 KB  
Audio Tools  -  u24mixer-module 0.1.0
u24mixer-module is a simple kernel module that provides ALSA mixer controls for the ESI U24 USB sound card. Whats New in This Release: - All of the mixer controls found in the ESI U24 Windows control panel were implemented..
51.2 KB  
Games  -  Moop 2.4
Moop (Mud, Object-Oriented, Pythonic) is a MOO written entirely in Python, with a Lambda-MOO-based syntax and using Python as its object scripting language.
883.73 KB  
Affiliate  -  Magellan Module 1.0
The Joomla Magellan Module provides a simple way to add Magellan Directory affiliate ad to your site.
122.88 KB  
Modules  -  Moneybookers Donation module 1.0.0
MoneyBookers donation module is a simple module for Joomla. It includes donate function use Moneybookers payment getewaySome parameters of this module:* Pay to email: your merchant account at Moneybookers* Stataus URL...
10 KB  
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