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

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Try It Free

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

Kinderpedia

Kinderpedia is the AI-powered school management software & student information system for K-12 schools, preschools and nurseries. Trusted by 2,000+ schools in 40+ countries, it helps institutions simplify operations, reduce teachers’ admin burden, strengthen family engagement and improve...

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