{"repository":{"watchers":3,"owner":"andrejbauer","has_issues":false,"created_at":"2011-06-18T11:23:56-07:00","pushed_at":"2013-01-11T00:55:53-08:00","stargazers":3,"forks":1,"has_downloads":true,"homepage":"http://homotopytypetheory.org/","language":"Coq","description":"Homotopy type theory","fork":true,"size":360,"has_wiki":true,"private":false,"open_issues":0},"actor_attributes":{"name":"Andrej Bauer","blog":"http://andrej.com/","location":"Slovenia","type":"User","company":"University of Ljubljana","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/andrejbauer/HoTT/compare/ae3605aeb7...072ce45519"}