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