{"repository":{"pushed_at":"2013-01-18T10:23:11-08:00","homepage":"","forks":1,"owner":"urbas","created_at":"2012-04-25T01:32:25-07:00","has_issues":true,"description":"Speedith is a theorem prover for spider diagrams (see http://en.wikipedia.org/wiki/Spider_diagram).","open_issues":0,"watchers":1,"has_downloads":true,"fork":false,"size":176,"stargazers":1,"language":"Java","private":false,"has_wiki":true},"actor_attributes":{"name":"Matej Urbas","email":"77d92c3b615a676e76caa78bdfdcb34f10f5b6e0@gmail.com","type":"User"},"url":"https://github.com/urbas/speedith/compare/534e0655a0...5f415c5b98"}