{"repository":{"owner":"jff","watchers":0,"has_issues":true,"stargazers":0,"open_issues":0,"has_downloads":true,"fork":false,"size":308,"created_at":"2013-01-23T09:30:10-08:00","description":"TeLLer is an interactive linear logic prover and proof explorer that is currently being used to study causality in interactive story telling.","private":false,"has_wiki":true,"pushed_at":"2013-01-27T17:21:24-08:00","forks":0},"actor_attributes":{"email":"c510cd8607f92e1e09fd0b0d0d035c16d2428fa4@joaoff.com","name":"Joao F. Ferreira","blog":"http://joaoff.com","location":"Teesside","company":"Teesside University","type":"User"},"url":"https://github.com/jff/TeLLer/compare/76c0a4bc49...54e6e8bd9e"}