GitHub repository: AlexDenisov/awesome-safety-critical
Description: List of resources about programming practices for writing safety-critical software.