h PMark

A tool to support criteria-based marking.

h JLSearch

A Wordpress plugin to support free-text and tag-based searching of a simple list.

h The L3 Configuration Language

An experimental configuration language for evaluating new configuration language features.

h ĀµPuppet

A compiler for a subset of the Puppet configuration language, based on a formal semantics.

h HaskellSF

A compiler for the SmartFrog configuration language, based on a denotational semantics.