b-frame is a framework for rapid J2EE development. It is based on the assumption that it is possible to create business (i.e. transactional client server) applications just from knowing their structure. It defines sets of XML tags for describing databases and applications operating on these databases (application layer) and template implementations (implementation layer), respectively. It provides XSLT-stylesheets (core layer) for merging the user provided application layer and the template layer into real applications. By default, it comes with a J2EE implementation layer.
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.