Repository Index

Resources on programming practices for safety-critical software.

• safety-critical
• safety-standards
• safety
• awesome-lists

PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL

• gym
• pybullet
• reinforcement-learning
• control

Safe Bayesian Optimization

• gaussian-processes
• optimization
• robotics
• reinforcement-learning

The Scenario Architect provides a lightweight graphical user interface that allows a straightforward realization and manipulation of concrete driving testing scenarios. Exemplary usecases are the validation of an online verification framework or training of an prediction algorithm.

• safety
• scenario

Runtime guardrails for Claude Code. Auto-approve what's safe, gate what's risky, block what's dangerous. Dual enforcement, full audit trail. MIT.

• agentic-ai
• claude
• claude-code
• claude-code-plugin