Public code files for the DDL blog