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).