{"repository":{"description":"Breaking up mizar articles into bits and computing relations among them.","homepage":"http://mizar.org","watchers":4,"stargazers":4,"forks":2,"fork":false,"size":1117686,"owner":"jessealama","private":false,"open_issues":5,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Common Lisp","created_at":"2010-12-05T14:33:46-08:00","pushed_at":"2013-08-26T17:12:25-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Jesse Alama","blog":"http://centria.di.fct.unl.pt/~alama/","location":"Stuttgart, Germany","email":"0f6912922ec73b8ab030d78cb88dbcbed082bcd3@gmail.com"},"url":"https://github.com/jessealama/mizar-items/compare/b113cf09c4...8f83118c6a"}