{"repository":{"description":"SBV backend for Copilot.","homepage":"","watchers":4,"stargazers":4,"forks":0,"fork":false,"size":156,"owner":"leepike","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Haskell","created_at":"2011-06-28T16:36:47-07:00","pushed_at":"2013-02-24T20:16:11-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Filip van Hoft","company":"TU Delft","location":"Rotterdam, NL","email":"bca929e33b3489d8fd86f18ffc57759a16a27048@gmail.com"},"url":"https://github.com/leepike/copilot-sbv"}