GitHub repository: kieler/pasta
Primary language: TypeScript
Description: VS Code extension for STPA-based risk analyses with interactive diagrams and integrations for fault trees, safe-by-construction behavior model generation, and verification.