All Categories → No Category → safety-critical

Top 5 safety-critical open source projects

Awesome Safety Critical

List of resources about programming practices for writing safety-critical software.

✭ 1,425

Makefile ruby awesome-list awesome-lists safety safety-critical safety-standards

o1heap

Constant-complexity deterministic memory allocator (heap) for hard real-time high-integrity embedded systems

vsrl-framework

The Verifiably Safe Reinforcement Learning Framework

✭ 42

python shell reinforcement-learning pytorch reinforcement-learning-algorithms formal-methods formal-verification keymaerax safety-critical cyber-physical-systems differential-dynamic-logic keymaera safe-reinforcement-learning reinforcement-learning-environments safe-control

SparForte

Bourne shell, template engine, scripting language mission-critical, scalable projects. Based a ISO standard proven effective for large, mission-critical projects, SparForte is designed for fast development while, at the same time, providing easier designing, maintenance and bug removal. About 120.000 lines of code.

✭ 47

Ada SourcePawn c shell HTML Roff mysql security postgresql elegant interpreted-programming-language reliable strongly-typed side-effects safety-critical ada-language agile-integration

CBF-CLF-Helper

Matlab Interface for Control Barrier Function (CBF) and Control Lyapunov Function (CLF) based control methods.

✭ 79

matlab M control-theory clf safety-critical cbf control-lyapunov-functions control-barrier-functions

1-5 of 5 safety-critical projects