{"repository":{"description":"A secure web framework, built in the Idris language.","watchers":4,"stargazers":4,"forks":1,"fork":false,"size":323,"owner":"SimonJF","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"C","created_at":"2013-06-10T10:15:45-07:00","pushed_at":"2013-07-31T13:48:23-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Dan Colish","company":"Urban Airship","blog":"http://www.mostly-decidable.org","location":"Portland, OR","email":"4110b2bc4924ee846b60c2411f50957c0ea5b230@gmail.com"},"url":"https://github.com/SimonJF/IdrisWeb"}