libmx
This is the web app or web related tool named libmx whose latest release can be downloaded as libmx-0.2.tar.gz from this website redcoolmedia.net
SCREENSHOTS:
libmx
APP DESCRIPTION:
Download this app named libmx.
"mx" is a command line test driver for "libmx" (see below) evaluating both the type and the value of an lambda calculus expression (http://en.wikipedia.org/wiki/Lambda_calculus) provided by the user."libnpmx.so" ("npmx.dll" on MS Windows) is a NPAPI plugin (http://en.wikipedia.org/wiki/NPAPI) for the Mozilla Firefox web browser based on "libmx".
"libmx" provides a framework for dealing with (extended and optional typed) lambda calculus expressions. Among other features it provides
o a template instantiation machine for evaluating the value of an lambda calculus expression,
o a template instantiation machine for evaluating the Hindley-Milner type (http://en.wikipedia.org/wiki/Hindley-Milner) of an lambda calculus expression, and
o reference counter based memory management for lambda calculus expressions and types.
"libmx" is written in C (C99).
User interface
Command-line, Plugins
Programming Language
C
Free download Web app or web tool libmx from RedcoolMedia.net