{"repository":{"stargazers":73,"owner":"edwinb","created_at":"2011-09-14T09:55:49-07:00","homepage":"http://idris-lang.org","has_downloads":true,"open_issues":25,"pushed_at":"2013-01-06T10:23:51-08:00","description":"A Dependently Typed Functional Programming Language","forks":23,"has_issues":true,"fork":false,"size":784,"has_wiki":true,"language":"Haskell","watchers":73,"private":false},"actor_attributes":{"type":"User","company":"Precog/_.underscore/Chuusai","blog":"http://www.chuusai.com/blog","email":"54234b27fef504da340909df6dcfdd8e7524fa74@milessabin.com","name":"Miles Sabin","location":"Brighton, UK"},"url":"https://github.com/edwinb/Idris-dev"}