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.

Project Samples

Project Activity

See All Activity >

License

BSD License

Follow PetitLambda

PetitLambda Web Site

Other Useful Business Software

Get Avast Free Antivirus | Your top-rated shield against malware and online scams

Boost your PC's defense against cyberthreats and web-based scams.

Our antivirus software scans for security and performance issues and helps you to fix them instantly. It also protects you in real time by analyzing unknown files before they reach your desktop PC or laptop — all for free.

Free Download

Rate This Project

User Reviews

Be the first to post a review of PetitLambda!

Additional Project Details

Operating Systems

Solaris, Linux, Mac, Windows

Intended Audience

Education

User Interface

Console/Terminal

Programming Language

Standard ML

Related Categories

Standard ML Interpreters

Registered

2006-11-06

Similar Business Software

AWS Lambda

Run code without thinking about servers. Pay only for the compute time you consume. AWS Lambda lets you run code without provisioning or managing servers. You pay only for the compute time you consume. With Lambda, you can run code for virtually any type of application or backend service - all...

See Software
AWS Step Functions

AWS Step Functions is a serverless function orchestrator that makes it easy to sequence AWS Lambda functions and multiple AWS services into business-critical applications. Through its visual interface, you can create and run a series of checkpointed and event-driven workflows that maintain the...

See Software
LambdaTest

LambdaTest is a cloud-based testing platform that provides developers with tools to perform automated and manual cross-browser testing, mobile app testing, and visual regression testing. It supports over 3,000 browser versions and real devices, ensuring seamless performance across platforms....

See Software