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