{"repository":{"description":"being the materials for Summer 2013's course","watchers":43,"stargazers":43,"forks":10,"fork":false,"size":4084,"owner":"pigworker","private":false,"open_issues":1,"has_issues":true,"has_downloads":true,"has_wiki":true,"created_at":"2013-07-17T04:20:47-07:00","pushed_at":"2013-08-26T09:20:57-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Tim Dysinger","company":"Positive Inertia","blog":"http://dysinger.net","location":"Hawaii","email":"5ee0edb9e2229c0838f1959779f1949031de0123@dysinger.net"},"url":"https://github.com/pigworker/MetaprogAgda"}