A collection of resources about normalization-by-evaluation
github.com