{"repository":{"has_downloads":true,"stargazers":54,"owner":"HoTT","created_at":"2011-03-26T08:59:20-07:00","pushed_at":"2012-12-18T05:59:29-08:00","forks":24,"organization":"HoTT","homepage":"http://homotopytypetheory.org/","has_wiki":true,"language":"Coq","description":"Homotopy type theory","fork":false,"size":200,"open_issues":5,"has_issues":true,"private":false,"watchers":54},"actor_attributes":{"company":"University of Ljubljana","name":"Andrej Bauer","location":"Slovenia","blog":"http://andrej.com/","type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/HoTT/HoTT/pull/37"}