The DGDL is currently available as BNF and XML specs, along with instances of a dozen or so of the more popular games in the philosophical literature (H, TDG, DC, RPD, PPD, etc.) but they are under revision. Our goal is to release an alpha by Easter. In the mean time, please contact Simon.