PyRank
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About

Safety Critical Python Packages

Python packages with the GitHub topic safety-critical. Sorted by relevance, with stars and monthly downloads.
PKU-Alignment
safety-gymnasium

NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark

7K 561 80
CommonRoad
commonroad-crime

criticality measures of automated vehicles

1K 14 2
PKU-Alignment
omnisafe

A comprehensive and reliable benchmark for safe reinforcement learning.

1K 1K 155
agent-maestro
monogate-forge

EML language and compiler for verified mathematical computation. 33 backends (software · GPU shaders · FPGA · Lean proofs · safety-critical) from one source, with chain-order analysis and Lean-checkable contracts on every function.

966 1 0
xiaoyang-123-cell
parallelcbf

Composable safety-filter and auditability layer for tensor-parallel reinforcement learning. CBF safety filters, watchdog registries, pre-registration artifacts, failure forensics.

816 5 0
mattijsmoens
logicshield

Deterministic validation firewall that verifies AI-generated proposals against ground-truth state using immutable rules. Zero dependencies. Patent pending.

392 2 0
liuzuxin
fast-safe-rl

A Fast and Modularized Implementation of Safe Reinforcement Learning Algorithms in PyTorch

225 247 33
    • Data from PyPI, GitHub, ClickHouse, and BigQuery