Similar repositories to dspivak/dependent-types: