{"repository":{"description":"A textbook on informal homotopy type theory","watchers":163,"stargazers":163,"forks":18,"fork":false,"size":5024,"owner":"HoTT","private":false,"open_issues":4,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Python","created_at":"2012-11-06T13:35:02-08:00","pushed_at":"2013-06-20T22:41:45-07:00","master_branch":"master","organization":"HoTT"},"actor_attributes":{"type":"User","name":"Christian Mangelsdorf","company":"NAZUMA GmbH","blog":"","location":"Brunswick, Germany","email":"165d4f98be1aba57c74d49aba3ced4dc199ca2e8@googlemail.com"},"url":"https://github.com/HoTT/book"}