{"repository":{"owner":"Janno","open_issues":0,"has_issues":true,"pushed_at":"2012-09-16T06:59:33-07:00","forks":0,"homepage":"","language":"Coq","has_downloads":true,"description":"Constructive Theory of Regular Languages","fork":false,"size":10976,"created_at":"2012-03-11T16:48:08-07:00","stargazers":2,"private":false,"has_wiki":true,"watchers":2},"actor_attributes":{"type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/Janno/Bachelor-Thesis/compare/ab6f441a89...8367a71247"}