{"repository":{"stargazers":5,"owner":"tamarin-prover","created_at":"2012-02-22T12:03:23-08:00","homepage":"http://www.infsec.ethz.ch/research/software/tamarin","master_branch":"develop","open_issues":42,"has_downloads":true,"pushed_at":"2013-01-06T05:49:26-08:00","description":"Main repository of the Tamarin prover for security protocol verification.","forks":1,"organization":"tamarin-prover","has_issues":true,"fork":false,"size":212,"has_wiki":true,"language":"Haskell","watchers":5,"private":false},"actor_attributes":{"name":"Cas Cremers","type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/tamarin-prover/tamarin-prover/compare/1fa65d7ed1...ff7ba4729f"}