{"repository":{"description":"","watchers":6,"stargazers":6,"forks":1,"fork":false,"size":876,"owner":"bondo","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Haskell","created_at":"2013-04-13T04:06:47-07:00","pushed_at":"2013-06-24T17:38:24-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"choi minjun","company":"Igloosec","blog":"idkwim.tistory.com","location":"south korea","email":"875521e096192f2fa62ac9818b481a58951a7446@gmail.com"},"url":"https://github.com/bondo/symbolic-execution"}