{"repository":{"description":"Truth-table generator for classical propositional logic","homepage":"http://extralogical.net/projects/hatt","watchers":7,"stargazers":7,"forks":1,"fork":false,"size":244,"owner":"beastaugh","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":false,"language":"Haskell","created_at":"2011-01-27T16:57:07-08:00","pushed_at":"2012-12-23T03:31:49-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Thomas Brus","company":"Nedap","blog":"thomasbrus.nl","location":"Enschede","email":"389691ae4bbde502dee77cd2e60650d18d89acfa@me.com"},"url":"https://github.com/beastaugh/hatt"}