{"repository":{"owner":"QuentinFiard","has_issues":true,"has_downloads":true,"created_at":"2012-11-25T13:10:08-08:00","description":"A compiler for a very simple language, certified in Coq","pushed_at":"2012-12-04T08:33:57-08:00","forks":0,"fork":false,"size":224,"watchers":1,"private":false,"has_wiki":true,"stargazers":1,"open_issues":0,"language":"Coq"},"actor_attributes":{"type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/QuentinFiard/CoqCertifiedCompiler/compare/412a7d6990...e634d6a95a"}