G github.com Checked C: extension to C that adds static and dynamic checking 129 points ingve 8 years ago 92 comments