{"repository":{"stargazers":56,"owner":"HoTT","has_wiki":true,"homepage":"http://homotopytypetheory.org/","created_at":"2011-03-26T08:59:20-07:00","has_issues":true,"description":"Homotopy type theory","language":"Coq","fork":false,"size":240,"organization":"HoTT","open_issues":22,"has_downloads":true,"private":false,"pushed_at":"2013-02-06T11:22:07-08:00","watchers":56,"forks":26},"actor_attributes":{"name":"Peter LeFanu Lumsdaine","type":"User","company":"Institute for Advanced Study","blog":"www.peterlefanulumsdaine.com","location":"Princeton, New Jersey","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/HoTT/HoTT/pull/66"}