Projects / libmx

libmx

libmx provides a framework for dealing with (extended and optionally typed) lambda calculus expressions. Among other features, it provides a template instantiation machine for evaluating the value of a lambda calculus expression, a template instantiation machine for evaluating the Hindley-Milner type of an lambda calculus expression, and reference counter-based memory management for lambda calculus expressions and types.

Tags
Licenses
Implementation

Recent releases

  •  01 Sep 2013 08:45

    Release Notes: This release introduces an NPAPI plugin for the Mozilla Firefox Web browser.

    •  23 Aug 2013 08:42

      Release Notes: This is the initial release.

      Screenshot

      Project Spotlight

      OpenStack4j

      A Fluent OpenStack client API for Java.

      Screenshot

      Project Spotlight

      TurnKey TWiki Appliance

      A TWiki appliance that is easy to use and lightweight.