While I know of Coq and Agda, I don't associate dependent types with them at all. I did screams dependent types to me. So it might be more famous in circles of the lay people.