{"repository":{"has_downloads":true,"owner":"LeventErkok","has_issues":true,"homepage":"http://github.com/LeventErkok/sbv","has_wiki":true,"created_at":"2011-01-06T23:26:47-08:00","description":"SMT Based Verification in Haskell. Express properties about Haskell programs  and automatically prove them using SMT solvers. Automatically generate straight-line C programs from symbolic Haskell functions.","pushed_at":"2012-11-28T19:25:06-08:00","forks":10,"watchers":30,"fork":false,"size":236,"open_issues":1,"stargazers":30,"private":false,"language":"Haskell"},"actor_attributes":{"blog":"http://sites.google.com/site/leventerkok/","location":"Portland, OR","name":"Levent Erkok","type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/LeventErkok/sbv/compare/748d28487b...9456a7f8b2"}