{"forkee":{"git_url":"git://github.com/cangiuli/HoTT.git","watchers":1,"created_at":"2011-12-21T21:23:15Z","open_issues":0,"fork":true,"updated_at":"2011-12-21T21:23:15Z","id":3029835,"language":"Verilog","public":true,"html_url":"https://github.com/cangiuli/HoTT","master_branch":null,"name":"HoTT","description":"Homotopy type theory","url":"https://api.github.com/repos/cangiuli/HoTT","forks":0,"ssh_url":"git@github.com:cangiuli/HoTT.git","pushed_at":"2011-12-15T20:17:01Z","clone_url":"https://github.com/cangiuli/HoTT.git","owner":{"id":1076739,"login":"cangiuli","url":"https://api.github.com/users/cangiuli","avatar_url":"https://secure.gravatar.com/avatar/052914200e9f80633ea8f3e6e826a54f?d=https://a248.e.akamai.net/assets.github.com%2Fimages%2Fgravatars%2Fgravatar-140.png","gravatar_id":"052914200e9f80633ea8f3e6e826a54f"},"homepage":"http://homotopytypetheory.org/","size":184,"private":false,"svn_url":"https://svn.github.com/cangiuli/HoTT"}}