Home > By category > Developer Tools >Development Kits > Orangeboard Lambda Calculus Interpreter



Orangeboard Lambda Calculus Interpreter

  • Downloads: 
  • Views: 
  • Rating:

A simple .NET/mono application which interprets and evaluates untyped lambda calculus expressions.

Free download from Shareware Connection - A simple .NET/mono application which interprets and evaluates untyped lambda calculus expressions.

Publisher: redboard.sourceforge.net | License: Freeware | Price: 0.00
Version: 1.0 | Size: 253 KB | Platform: WinOther
Released Date: 20-06-2012 | Rating: 0 | Title: Orangeboard Lambda Calculus Interpreter

Author Url: http://redboard.sourceforge.net
Program Info Url: http://redboard.sourceforge.net
Download Url: http://sourceforge.net/projects/redboard/files/RedboardSource.zip/download?use_mirror=heanet
Screenshot Url: http://sourceforge.net/projects/redboard/screenshots/120789

Orangeboard Lambda Calculus Interpreter related downloads:

Bert's Computing Suite - My personal computing suite provides some programs I developed as a hobbyist and currently include a lambda calculus interpreter and a calculator which solves arithmetic expressions; both are written in C++.

Bert's Computing Suite - My personal computing suite provides some programs I developed as a hobbyist and currently include a lambda calculus interpreter and a calculator which solves arithmetic expressions; both are written in C++.

LCI - A lambda calculus interpeter - LCI is an interpreter for the lambda calculus. It supports many advances features like integers, recursion, user defined operators and multiple evaluation strategies.

Lambda Animator - 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.

PetitLambda - 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.

Shareware Connection periodically updates pricing and software information of 'Orangeboard Lambda Calculus Interpreter' from company source 'redboard.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 'Orangeboard Lambda Calculus Interpreter' crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of Orangeboard Lambda Calculus Interpreter.

New Reviews

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 ...

AOMEI Partition Assistant Lite Edition - No matter whether you are a casual PC user or deal with a number of computers for professional needs, taking care of hardware components is a necessity. Among all hardware components used in laptop or desktop, hard disk is the most important one. ...

Format Factory - No matter what reason you use the computer mostly for, converting media files from one format to another can be necessary sometimes. This can be useful when you want to convert all those series of DVDs into formats that can be played across ...

PhoXo - Even a few years back, it was mostly graphic design professionals or people involved in print media were seen using image editing applications. With digital camera prices nose-diving and mobile imaging reaching new heights, things have undergone ...

Quick Crypt - PC users have become more conscious and careful about privacy of their data these days, especially about the data they need to share with others. There are valid reasons for this trend. Instances of personal information theft and attacking are on ...

HDD Guardian - No matter how costly a desktop or laptop is, it is necessary to keep a tab on its hardware components. While you can spot signs and symptoms of hardware malfunction and impending failure in some instances, some mishaps may just strike you out of ...

CamMask - There are several types of webcam software available in market and so you need not stick with the default webcam software of your laptop any longer. However, not all webcam apps can offer you a plethora of fun and dazzling effects as CamMask. ...

SumatraPDF - The PDF format is used worldwide to distribute document files without changing formatting, alignment and layout. It can also be used to share complex engineering designs and diagrams along with massive amounts of text. The biggest benefit of this ...

Paint.NET - Nearly every PC user needs to use some type of image editing software nowadays, whether it is for personal or professional reasons. It can be for making minor corrections to your vacation pictures before you share them on social media sites. It ...

Norton Power Eraser - Getting rid of malware and other types of rogue applicationlications with a regular antivirus can prove to be a tough task nowadays. The way malicious users are becoming smarter with time; it makes sense to use an additional layer of protection ...




New Downloads

Bytescout BarCode Reader
SDK

Can read barcode from image,
read barcode from PDF, read
barcode from TIF in your
Windows desktop and web
applications. ...

SAP Sybase ODBC driver
(32/64 bit)

SAP Sybase ODBC Driver for
Adaptive Server Enterprise
provides high-performance and
feature-rich connectivity
solution ...

.NET SFTP Library

Transfer files using FTP over
SSH with the .NET SFTP Library
by Kellerman Software. Upload
and Download entire ...

EaseClouds Virtual File
System SDK

Cloud-based completed virtual
file system integrates cloud
files with the local file
system.Best Cloud-Based
Disaster ...

SentiSculpt SDK

Automated 3D object model
creation SDK. 3D scanning
performed from sets of photos
taken with regular smartphone
or still ...

SQL Job Manager

View SQL Server jobs and
scheduled jobs across your SQL
enterprise from a single
console. Manage jobs by
simply dragging ...

Python Operating
Environment

Visral OE (Operating
Environment) lets users
efficiently access all the
power of Python by means of
sentient editors, ...

ApexSQL Generate

ApexSQL Generate generates
test data for specified
columns and tables. It exports
test data to SQL, XML, and CSV
files. ...

nBit HTML Viewer ActiveX

A HTML viewer activeX control
for any software developer.
Integrates with ease into any
development environment that
...

Virto SharePoint Kanban
Board Web Part

Virto Kanban Board Web Part is
a special tool intended to
visualize and manage tasks in
SharePoint. Using this
component ...

Smart .NET Obfuscator

Skater Smart .NET Obfuscator
is an obfuscation tool for
.NET code protection. It
implements software protection
...

BarCodeWiz OnLabel

BarCodeWiz OnLabel is a
barcode label generator and
batch barcode maker. OnLabel
supports Code39, Code39
Extended, Code ...