{"repository":{"description":"stupid simple theorem prover","watchers":1,"stargazers":1,"forks":1,"fork":false,"size":4064,"owner":"listofoptions","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Haskell","created_at":"2013-03-04T00:51:07-08:00","pushed_at":"2013-03-23T02:29:38-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Adam Curtis","email":"7f92f05ab1c09256b66b9ba90dd6724efb277dcd@spsu.edu"},"url":"https://github.com/listofoptions/Stupor"}