{"repository":{"description":"Liquid Types For Haskell","watchers":33,"stargazers":33,"forks":7,"fork":false,"size":47756,"owner":"ucsd-progsys","private":false,"open_issues":10,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Haskell","created_at":"2012-09-22T08:06:55-07:00","pushed_at":"2013-10-06T12:41:13-07:00","master_branch":"master","organization":"ucsd-progsys"},"actor_attributes":{"type":"User","name":"Reto Kramer","location":"Seattle, WA","email":"8ddc01607591fda698a7d086c7bca697a83fecb0@acm.org"},"url":"https://github.com/ucsd-progsys/liquidhaskell"}