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.