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

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

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
Thinkific

Thinkific is an easy-to-use platform that enables individuals, training companies, academies, and businesses to sell learning experiences at scale. It provides a world-class user experience for both customers and their students, offering a range of customizable tools to create engaging learning...

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
Bookinglayer

Bookinglayer is an all-in-one reservation system built for complex booking scenarios involving accommodation and activities. They help retreats, resorts, and schools automate their booking process from start to finish. Bookinglayer’s solution allows you to start selling activities with 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