{"repository":{"description":"Homotopy type theory","homepage":"http://homotopytypetheory.org/","watchers":56,"stargazers":56,"forks":26,"fork":false,"size":344,"owner":"HoTT","private":false,"open_issues":16,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Coq","created_at":"2011-03-26T08:59:20-07:00","pushed_at":"2013-02-22T08:34:47-08:00","master_branch":"master","organization":"HoTT"},"actor_attributes":{"type":"User","name":"Aaron Culich","location":"San Francisco, CA","email":"dfa6ce8abf35555d42d139037932f78c91f75f7b@gmail.com"},"url":"https://github.com/HoTT/HoTT"}