{"repository":{"description":"An ACL2 implementation of Conway's Game of Life with a Python Bottle front-end","homepage":"","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":920,"owner":"grantbacon","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Python","created_at":"2013-10-29T13:23:02-07:00","pushed_at":"2013-12-11T11:16:34-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Grant Bacon","company":"Independent Consultant","blog":"http://www.grantbacon.com","location":"Norman, Oklahoma, USA","email":"9d0d7d456f2a876ddc7c3664e974e2e7ebfceee0@ou.edu"},"url":"https://github.com/grantbacon/conways-game-of-life-service/compare/ce76860f70...aed495b0cb"}