1.learnsyslab / safe-control-gymPyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RLgympybulletreinforcement-learningcontrolsafetyquadrotor+6 morePythonMIT932 total169 forks+15 starsfrom 917 · score 2.77
2.stanislaw / awesome-safety-criticalResources on programming practices for safety-critical software.safety-criticalsafety-standardssafetyawesome-listsawesome-listPythonCC0-1.01.6K total93 forks+5 starsfrom 1,593 · score 1.79
3.Myr-Aya / GouvernAI-claude-code-pluginRuntime guardrails for Claude Code. Auto-approve what's safe, gate what's risky, block what's dangerous. Dual enforcement, full audit trail. MIT.agentic-aiclaudeclaude-codeclaude-code-plugindestructive-commandssafety+4 morePythonMIT24 total1 forks+1 starsfrom 23 · score 0.69