[jayherdabell]

Just wanted to point out grepcode.com for comparison.

[leemartie]

Thanks for the pointer! As an academic research project, we try to collect as many of these as possible.