{"repository":{"stargazers":4,"owner":"ku-fpg","homepage":"http://www.ittc.ku.edu/csdl/fpg/Tools/HERMIT","has_downloads":true,"created_at":"2012-04-09T19:21:13-07:00","description":"Haskell Equational Reasoning Model-to-Implementation Tunnel","fork":false,"size":1676,"has_wiki":true,"organization":"ku-fpg","open_issues":25,"has_issues":true,"private":false,"pushed_at":"2013-02-06T11:07:29-08:00","watchers":4,"forks":0},"actor_attributes":{"email":"01b1317094904feb78d6cbac40037148c3f6d626@ku.edu","name":"Andrew Farmer","blog":"http://andrewfarmer.name","type":"User"},"url":"https://github.com/ku-fpg/hermit/compare/4f448f6c57...9293bbbd48"}