{"repository":{"description":"Toy theorem prover","watchers":1,"stargazers":1,"forks":0,"fork":false,"size":172,"owner":"kik","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Haskell","created_at":"2013-11-10T03:58:57-08:00","pushed_at":"2013-12-07T08:45:19-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Mitsutoshi Aoe","company":"Tsuru Capital","blog":"http://d.hatena.ne.jp/maoe/","location":"Tokyo, Japan","email":"c7b2210a217801ddbc5ad239ebb7301ac5156ef4@foldr.in"},"url":"https://github.com/kik/ToyPr"}