{"repository":{"open_issues":0,"has_wiki":true,"owner":"yosefk","watchers":0,"created_at":"2012-12-20T12:58:04-08:00","pushed_at":"2013-01-12T07:37:05-08:00","stargazers":0,"forks":0,"has_issues":true,"language":"C","fork":false,"size":748,"has_downloads":true,"description":"checkedthreads: concurrent, imperative, verified. APIs, a load-balancing scheduler, and a Valgrind-based checker","private":false},"actor_attributes":{"type":"User","email":"2a00c41cbb6b26cbbb4888a1296a86cd5b799187@gmail.com","name":"Yossi Kreinin","blog":"http://yosefk.com"},"url":"https://github.com/yosefk/checkedthreads/compare/27af868f11...adf4dcc02e"}