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

nel_h2

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start 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

Lumio

Lumio is a web-based learning platform that offers more ways to effortlessly make learning fun and engaging on student devices. Whether educators have PDFs, Google Slides, PowerPoint, or Notebook files, Lumio effortlessly transforms them into dynamic, engaging learning experiences on any...

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

Prezent is a cloud-based AI presentation software designed to optimize the entire process of crafting and delivering presentations. The platform uses AI algorithms to understand the unique needs and styles of each user, tailoring presentations to suit individual preferences and organizational...

See Software
myACI

ACI Learning delivers hands-on IT and cybersecurity training built for real-world results. Our outcome-driven approach equips learners with practical skills through immersive labs, certification prep, and instruction from proven industry experts. Whether you're training a team or advancing...

See Software