Visual Lambda Calculator with Mind Maps download

We introduce a completely visual representation based on typed Mind Maps to represent steps of calculation for a pure untyped lambda calculator, VLM.

Project Samples

Answer MM of Query MM, ( x y. y x)( x. y)

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Visual Lambda Calculator with Mind Maps

Visual Lambda Calculator with Mind Maps Web Site

Other Useful Business Software

Auth0 for AI Agents now in GA

Ready to implement AI with confidence (without sacrificing security)?

Connect your AI agents to apps and data more securely, give users control over the actions AI agents can perform and the data they can access, and enable human confirmation for critical agent actions.

Start building today

Rate This Project

User Reviews

Be the first to post a review of Visual Lambda Calculator with Mind Maps!

Additional Project Details

Programming Language

Java

Related Categories

Java Simulation Software, Java Data Visualization Software, Java Mathematics Software, Java Computer Aided Instruction (CAI) Software, Java Calculators

Registered

2008-10-21

Similar Business Software

Highcharts

Highcharts is a JavaScript charting library that allows developers to create interactive and visually appealing charts for web applications. It offers a wide range of chart types, including line charts, bar charts, pie charts, scatter plots, and more. It also supports different types of data,...

See Software
Grafana

Grafana Labs provides an open and composable observability stack built around Grafana, the leading open source technology for dashboards and visualization. Recognized as a 2025 Gartner® Magic Quadrant™ Leader for Observability Platforms and positioned furthest to the right for Completeness of...

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
DbVisualizer

DbVisualizer is one of the world's most popular database editors. With almost 7 million downloads and Pro users in 150 countries worldwide, it won't disappoint you. Free and Pro versions are available. Developers, analysts, and DBAs use it to elevate their SQL experience with modern tools to...

See Software
Process Street

Process Street is an AI-powered compliance operations platform that automates complex workflows, enforces standards, and tracks audit data in real time. Teams use it to create structured SOPs, assign tasks, collect data, and monitor execution with intelligent oversight. From onboarding and...

See 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