{"repository":{"description":"eclipse plugin to support side-by-side proofs and code","stargazers":10,"owner":"hannesm","open_issues":0,"language":"Scala","pushed_at":"2013-01-30T07:34:57-08:00","forks":4,"has_issues":true,"has_downloads":true,"fork":false,"size":300,"homepage":"","private":false,"created_at":"2010-12-25T03:37:20-08:00","watchers":10,"has_wiki":false},"actor_attributes":{"type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/hannesm/Kopitiam"}