Public code repository for ERTS book.