h The L3 Configuration Language
An experimental configuration language for evaluating new configuration language features.

h uPuppet
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.

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