A collection of resources about normalization-by-evaluation