{"repository":{"stargazers":72,"owner":"edwinb","created_at":"2011-09-14T09:55:49-07:00","homepage":"http://idris-lang.org","has_wiki":true,"open_issues":25,"pushed_at":"2013-01-06T10:23:51-08:00","description":"A Dependently Typed Functional Programming Language","forks":23,"fork":false,"size":784,"has_issues":true,"language":"Haskell","watchers":72,"private":false,"has_downloads":true},"actor_attributes":{"type":"User","email":"31227094f3baea959abbdb82d34f0bc93c1f3b36@engineyard.com","blog":"brixen.io","location":"Portland, OR","name":"Brian Ford","company":"Engine Yard"},"url":"https://github.com/edwinb/Idris-dev"}