Submit Software
  1. Home
  2. Windows
  3. Other
  4. Visual Lambda Calculator with Mind Maps

Visual Lambda Calculator with Mind Maps

License: Free ‎File size: N/A
‎Users Rating: 4.5/5 - ‎2 ‎votes
Download

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

VERSION HISTORY

  • Version bin posted on 2008-10-24
    Several fixes and updates
  • Version N/A posted on 2008-10-24

Program Details

Related Programs

  • XML-RPC for C/C++ (Xmlrpc-c) Free

    Programming library for writing an XML-RPC server or client in C or C++. XML-RPC is a standard network protocol to allow a client program to make a simple remote procedure call (RPC) type request of a server. Like SOAP or COR

  • Visio-EMF Bridge Free

    The Visio-EMF Bridge offers the transformation of Visio stencils and Visio models into EMF metamodels and EMF models, respectively. The bridge enables the processing of Visio models with EMF tools, such as, openArchitectureWa

  • DMG Automounter for Linux Free

    DMG Automounter is a nautilus script that enables any distribution of Linux to mount a Mac OS X .dmg file (but not install it, since that would require the Mac OS X APIs which are closed source). README has entire install ins

  • LiveGraph Free

    A real-time graph plotter. While your application is computing and logging results to a CSV file using the LiveGraph Writer API, the plotter lets you visualise and monitor the results live - by instantly plotting charts and g

  • MGP Free

    The Maven GWT plugin is used to compile JavaScript source files from the Java source. The plugin runs GWTCompiler, allows to configure compiler options, automatically detects source and resource files location. Does not requi

  • pGina Free

    pGina is an open source replacement authentication system for the Windows OS that uses easy to write plugins to accommodate for authentication via limitless back ends.

  • PostNuke module pnEWiki Free

    ErfurtWiki is an implementation of the WikiWikiWeb hypertext system (written in the PHP scripting language). pnEWiki is a PostNuke-Module for the integration and enhancement of ErfurtWiki into PostNuke.

  • Stewien's Miscellanous Libraries Free

    A collection of miscellaneous libraries, small applications, and utilities. A little bit of something for everyone.

  • ioda fulltext engine Free

    ioda is a fulltext indexing software, storing words and meta data. Handles logical operators, parenthesis and word distance values in queries. To use as supplement of an existing database or standalone. Runs as single prog.,

  • more - a C++ library Free

    A multipurpose library: STL related, like closures lambda expressions, and partial ordering. Code generation-compilation-linking, and interpreted function calls. Mathematics and physics, with spinors, an ENSDF parser and m