Penn Lambda Calculator download

The Penn Lambda Calculator is an interactive, graphics-based pedagogical software that helps students of linguistics and computer science practice the typed lambda calculus.

Project Samples

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Penn Lambda Calculator

Penn Lambda Calculator Web Site

Other Useful Business Software

Error to trace to log to deploy. One click. No SSH.

Catch the cause before the pager goes off.

AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.

Free 30 days.

Rate This Project

User Reviews

Be the first to post a review of Penn Lambda Calculator!

Additional Project Details

Intended Audience

Science/Research

User Interface

Java Swing

Programming Language

Java

Related Categories

Java Mathematics Software, Java Computer Aided Instruction (CAI) Software, Java Calculators

Registered

2007-01-14

Similar Business 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
myACI

ACI Learning delivers hands-on IT and cybersecurity training built for modern teams. Expert-led videos, interactive labs, and certification prep for today’s top credentials turn knowledge into real-world skill. Whether you’re training a team or advancing your career, myACI makes it easy to...

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
Emtrain

Help employees adapt to the real-world complexity of the 2026 workplace with online training they'll actually appreciate. Engaging workplace video, interactive scenarios, sentiment questions, policy acknowledge, completion certificates. Content written by lawyers, content warrantied,...

See Software
Xero

Save 90% for 4 months on Xero's award-winning accounting and online bookkeeping platform for businesses of all sizes and stages of growth. Beautifully simple, Xero covers a wide range of features that help businesses manage their finances effortlessly, including invoicing, inventory, bank...

See Software
Rise Vision

Rise Vision is the all-in-one platform for digital signage, screen sharing, and emergency alerts designed to help organizations communicate, teach, collaborate, and improve safety. The cloud-based system integrates digital signage, interactive digital signage, screen sharing, and emergency...

See Software