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

Simple, Secure Domain Registration

Get your domain at wholesale price. Cloudflare offers simple, secure registration with no markups, plus free DNS, CDN, and SSL integration.

Register or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.

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

Synap

Synap is an award-winning exam platform that empowers organisations to deliver secure, online exams with ease. Save time and reduce your workload for creating, marking, and analysing exams. Customise your tests with multiple-choice and written question types, timers, randomisation, and...

See Software
YouTestMe

YouTestMe GetCertified is a comprehensive web-based platform for online examination, training, surveys, and certification, equipped with both automated and live proctoring to ensure exam integrity. The system includes an advanced reporting and analytics module for monitoring performance and...

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