Ask HN: Examples of famous OSS created using red-green-refactor TDD?

Am a big believer in test-driven-development where tests are written before or after code and serve as verification for programs. I am a skeptic when I hear tests can drive the design and you should strictly follow the red-green-refactor cycle to write production code. I want to be proven wrong. Are there famous successful projects (besides junit) that used this approach and that I can learn from?