{"repository":{"description":"Whiley is a programming language particularly suited to safety-critical systems. It is a hybrid object-oriented and functional programming language which employs extended static checking to eliminate errors at compile time, including divide-by-zero, array out-of-bounds and null dereference errors.","homepage":"http://whiley.org","watchers":24,"stargazers":24,"forks":6,"fork":false,"size":3256,"owner":"DavePearce","private":false,"open_issues":86,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Java","created_at":"2010-11-21T14:32:44-08:00","pushed_at":"2013-03-18T01:50:00-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"David Pearce","company":"Victoria University of Wellington","blog":"http://www.ecs.vuw.ac.nz/~djp","location":"New Zealand","email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz"},"url":"https://github.com/DavePearce/Whiley/compare/b5b4991443...a126f9fc5d"}