![](/statics/img/blank.png)
Visual Lambda Calculator with Mind Maps
You'll be able to download in 5 seconds.
You can also click on the following External Download Link to start download:
http://sourceforge.net/projects/vlcmm/files/vlcmm/bin/vlcmm.zip/download
ABOUT Visual Lambda Calculator with Mind Maps
We introduce a completely visual representation based on typed Mind Maps to represent steps of calculation for a pure untyped lambda calculator, VLM.
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