Data.SBV.Examples.CodeGeneration.PopulationCount

Reference: Slow but obviously correct

popCountSlow

Faster: Using a look-up table

popCountFast

pop8

Verification

fastPopCountIsCorrect

Code generation

genPopCountInC