GitHub repository: melt-umn/Oberon0
Primary language: Java
Description: Silver specification of Oberon0 for the LDTA 2011 Tool Challenge.