{"repository":{"description":"SMT Based Verification in Haskell. Express properties about Haskell programs  and automatically prove them using SMT solvers. ","homepage":"http://github.com/LeventErkok/sbv","watchers":42,"stargazers":42,"forks":13,"fork":false,"size":364,"owner":"LeventErkok","private":false,"open_issues":5,"has_issues":true,"has_downloads":true,"has_wiki":false,"language":"Haskell","created_at":"2011-01-06T23:26:47-08:00","pushed_at":"2013-04-02T21:19:32-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Ranjit Jhala","company":"University of California, San Diego","blog":"www.cs.ucsd.edu/~rjhala","location":"San Diego, CA","email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu"},"url":"https://github.com/LeventErkok/sbv"}