toLambda

An educational web application for experimenting with lambda-calculus and with the reduction strategies which are used in functional languages (OCaml, Scheme, Haskell). It includes the automatic translation of a subset of OCaml expressions into lambda-expressions.

Features

Translation of Ocaml expressions into lambda-expressions
Reduction of lambda-expressions by using several strategies
Display of each reduction step

Project Samples

Project Activity

See All Activity >

License

MIT License

Follow toLambda

toLambda Web Site

Other Useful Business Software

Rezku Point of Sale

Designed for Real-World Restaurant Operations

Rezku is an all-inclusive ordering platform and management solution for all types of restaurant and bar concepts. You can now get a fully custom branded downloadable smartphone ordering app for your restaurant exclusively from Rezku.

Learn More

Rate This Project

User Reviews

Be the first to post a review of toLambda!

Additional Project Details

Intended Audience

Science/Research

Registered

2013-11-07

Similar Business Software

Odoo

Odoo is a fully integrated, customizable, open-source software packed with hundreds of expertly designed business applications. Odoo’s intuitive database is able to meet a majority of business needs, such as: CRM, Sales, Project, Manufacturing, Inventory, and Accounting, just to name a few. Odoo...

See Software
Gradelink SIS

Help your school save time, increase enrollment, and achieve its mission with Gradelink. An award-winning student information system and school management system, Gradelink school management software system is suitable for Preschool through High school. Gradelink is a great fit for higher...

See Software
DreamClass

Create your own DreamClass! DreamClass is a school management solution designed to cater to educational organizations of all types and sizes—be it a school, an academy, or a studio—enabling you to optimize your processes with robust features like: Program Management—Structure your...

See Software
Pikmykid

Pikmykid is the leading safety and dismissal platform that empowers schools to simplify dismissal, engage parents, and keep students safe without the need to purchase, install, or support additional hardware. Designed by former educators and parents, Pikmykid has helped more than 2,000 schools...

See Software
Coursebox AI

Transform your content into engaging eLearning experiences with Coursebox, the #1 AI-powered eLearning authoring tool. Our platform automates the course creation process, allowing you to design a structured course in seconds. Simply make edits, add any missing elements, and your course is ready...

See Software
Eurekos

Learning management systems are good for training employees but often fail to address the unique needs of training customers & partners as well as customers' customers & partners. Eurekos is a leading European customer education specialist, offering innovative training software solutions for...

See Software