Home > By category > Developer Tools >Development Kits > PetitLambda



PetitLambda

  • Downloads: 
  • Views: 
  • Rating:

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.

Free download from Shareware Connection - 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.

Publisher: petit-lambda.sourceforge.net | License: Freeware | Price: 0.00
Version: 0.1 | Size: 52 KB | Platform: Linux, Mac OS X, Unix, WinOther
Released Date: 26-07-2012 | Rating: 0 | Title: PetitLambda

Author Url: http://petit-lambda.sourceforge.net
Program Info Url: http://petit-lambda.sourceforge.net
Download Url: http://downloads.sourceforge.net/project/petit-lambda/petit-lambda/0.1/petit-lambda.0.1.tar.gz?r=&ts=1336185474&use_mirror=iweb
Screenshot Url: http://sourceforge.net/projects/petit-lambda/screenshots/97286

PetitLambda related downloads:

Shareware Connection periodically updates pricing and software information of 'PetitLambda' from company source 'petit-lambda.sourceforge.net' , so some information may be slightly out-of-date. You should confirm all information before relying on it. Software piracy is theft,  Using 'PetitLambda' crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of PetitLambda.

New Reviews

SnapCrab - Nearly every PC users need to take screenshots from time to time, whether it is for personal or professional needs. While using the basic Windows screenshot capture method is available, it is not adequate for everyone. When you want to capture ...

SeaMonkey, Portable Edition - Using the Internet has become a necessity for a majority of people, including those who do not use a PC regularly. To browse web, stream video or download online content, people often resort to using various third party apps. For example, using ...

PureSync Personal - When you use computers, there is no way you can escape using specialized third party software. These need to be used for various needs including office productivity, web access, taking back-up and ensuring proper synchronization across multiple ...

DriverPack Solution Professional - To keep your laptop or desktop performing well consistently, it is important to pay attention to some aspects. Using top antivirus utility, cleaning up junk feels periodically are some such examples. However, you also need to keep drivers of ...

Spotflux - Browsing the internet is a common activity among PC users nowadays and it is required for work and personal purposes almost on a daily basis. However, with malware invasion on rise and hackers on prowl, web browsing and download safety has become ...

Potatoshare Systemnanny - People use PCs for various needs nowadays. A computer is not used to run office productivity or accounting software alone anymore. It is also used for tasks like web browsing, media playback, file conversion, and myriad related needs. After ...

Efham internet booster - Without using the web, you cannot accomplish a lot of things in life easily. However, the speed of internet access does play a role behind your web usage experience. At times, you may have to cope with sluggish web page rendering, buffering while ...

Norton Security with Backup - Symantec is an old time player in PC security and its various security suites with Norton brand name are used all over the world. With time, Norton security apps have been tweaked to consume fewer resources and they come with several bells and ...

Roboscan Internet Security Free - Owing to incessant onslaught of various web based and other malware, it is not possible to keep your PC secured unless you use a capable system security suite. As a matter of fact, it is better to use feature- rich Internet security software than ...

Hanso Player - Using a media player application to play back music files is something nearly every PC user needs to do. There are so many applications that the abundance can leave average users somewhat puzzled. If the bundled WMP does not suit your taste but ...




New Downloads

TeeGrid for .NET

The Grid Control for NET
offers a very fast data grid
for your Visual Studio
projects. Includes NET Core
support and ...

Dynamsoft Barcode Reader
for Linux

Dynamsoft Barcode Reader
enables developers to expedite
the creation of applications
for the recognition of 1D
barcode ...

TeeChart for Javascript

100% Javascript charting
library that plots charts to
all compatible browsers using
the HTML5 Canvas. Available as
a ...

LightningChart SDK

LightningChart Ultimate SDK is
the fastest 2D and 3D
measurement, research, finance
and trading data visualization
SDK ...

Bytescout SWF To Video SDK

Flash to video converter SDK
to convert SWF and FLV to AVI
and WMV videos with ease.
Includes .NET and ActiveX ...

SecureBlackbox VCL

SecureBlackbox is a
comprehensive component
collection that adds SFTP,
FTPS, SSH, PGP, PDF, XML,
SSL/TLS, HTTPS, PKI, ...

NOV Text Editor for .NET

NOV Rich Text Editor was built
from the ground up to bridge
the gap between HTML and old
text processing models (Word),
...

Centurion Setup

Centurion Setup builds a
professional software
installer for Windows in a
self-contained, compressed
executable. ...

DbMouse PRO

Modern ribbon-based data
manipulation tool for
Microsoft SQL Server. Quick
database browser. SQL
profiler. Master/detail ...

Mobile Transfer SDK

WinLib Mobile Transfer SDK
allows to develop application
for uploading multimedia files
from PC to portable devices
via ...

Devart ODBC Driver for SQL
Server

Devart ODBC Driver for SQL
Server provides
high-performance and
feature-rich connectivity
solution for ODBC-based ...

JNIWrapper Cross-Desktop

JNIWrapper library allows to
interface native code while
retaining full control of the
application on the Java side.
With ...