G github.com Resources about programming practices for writing safety-critical software 208 points AlexDenisov 9 years ago 84 comments