While I'm absolutely ok with giving credit where credit is due, I think placing credits at the top of specific files where code was used would be the preference. I think a credits section here would be better used for someone who contributed significantly specifically to this project.