{"repository":{"description":"Starting a Coq NetKAT","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":76,"owner":"frenetic-lang","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Coq","created_at":"2013-07-15T13:23:16-07:00","pushed_at":"2013-07-17T05:13:36-07:00","master_branch":"master","organization":"frenetic-lang"},"actor_attributes":{"type":"User","name":"Arjun Guha","company":"Cornell University","blog":"http://www.cs.umass.edu/~arjun","location":"Ithaca, NY","email":"9e5366c413685cb0485d044692e200fa40dd567c@cs.cornell.edu"},"url":"https://github.com/frenetic-lang/netkat/compare/8dc5639202...4dd5fedda1"}