Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Safety Critical Open Source Projects

Open source projects categorized as Safety Critical
Categories > Safety Critical
Awesome Safety Critical ⭐ 1,482
List of resources about programming practices for writing safety-critical software.
most recent commit 8 months ago
Omnisafe ⭐ 831
OmniSafe is an infrastructural framework for accelerating SafeRL research.
total releases 8most recent commit 15 days ago
Mission Critical ⭐ 521
This repository provides a design methodology and approach to building highly-reliable applications on Microsoft Azure for mission-critical workloads.
most recent commit a year ago
Uc Os2 ⭐ 344
µC/OS-II is a preemptive, highly portable, and scalable real-time kernels. Designed for ease of use on a huge number of CPU architectures.
most recent commit a year ago
Safety Gymnasium ⭐ 258
NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark
dependent packages 2total releases 13most recent commit 3 months agopypi safety-gymnasium} Downloads
Safe_numerics ⭐ 198
Replacements to standard numeric types which throw exceptions on errors
most recent commit 9 months ago
O1heap ⭐ 170
Constant-complexity deterministic memory allocator (heap) for hard real-time high-integrity embedded systems. There is very little activity because the project is finished and does not require further changes.
most recent commit a year ago
Fsrl ⭐ 121
🚀 A fast safe reinforcement learning library in PyTorch
total releases 1most recent commit 6 months ago
Sparforte ⭐ 49
Bourne shell, template engine, scripting language reliable, 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 130.000 lines of code.
most recent commit 3 months ago
Autonomous Driving Security Papers ⭐ 38
🚗 A repository for documenting and exploring the world of autonomous driving safety, featuring a curated collection of research papers, reports, and resource.
most recent commit 4 months ago
Vsrl Framework ⭐ 37
The Verifiably Safe Reinforcement Learning Framework
most recent commit 3 years ago
Safe Pdp ⭐ 19
Safe Pontryagin Differentiable Programming (Safe PDP) is a new theoretical and algorithmic safe differentiable framework to solve a broad class of safety-critical learning and control tasks.
most recent commit 2 years ago
C Atom ⭐ 18
Model-based driven real-time embedded software framework for safety-critical and mission-critical application
most recent commit a year ago
Awesome Failure Detection ⭐ 18
A list of papers that studies out-of-distribution (OOD) detection and misclassification detection (MisD)
most recent commit 7 months ago
Cbf Clf Helper ⭐ 17
Matlab Interface for Control Barrier Function (CBF) and Control Lyapunov Function (CLF) based control methods.
most recent commit 3 years ago
Ti Hercules Bsp ⭐ 16
Bare Metal Board Support Package for Texas Instruments Cortex-R4F/R5F TMS570
most recent commit 3 years ago
Embedded Pid ⭐ 15
Portable C99 implementation of Type-C PID controller with a flexible API and errors handling. Also an Arduino library.
most recent commit 2 years ago
S2opc ⭐ 14
Mirror repository for open-source OPC-UA Toolkit designed with security and embedded devices in mind. Main repository is on gitlab:
most recent commit 3 months ago
Qm ⭐ 13
QM is a containerized environment for running Functional Safety qm (Quality Management) software
most recent commit 3 months ago
Aureus ⭐ 12
An open-source design system for non-profits to quickly develop user safety critical applications.
most recent commit 4 months ago
Wg Aerospace ⭐ 8
ELISA Aerospace Working Group
most recent commit 3 months ago
Cbf Cartpole ⭐ 7
Various Control Barrier Function realized on cartpole.
most recent commit a year ago
Eigen Malloc Free Pseudoinverse ⭐ 7
This extended Eigen C++ template library and wrapper provide a malloc-free Moore-Penrose pseudoinverse solver.
most recent commit 2 years ago
The 3 Latest Releases In Safety Critical Open Source Projects
Safety Gymnasium ⭐ 258
NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark
dependent packages 2total releases 13latest release August 24, 2023most recent commit 3 months agopypi safety-gymnasium} Downloads
Fsrl ⭐ 121
🚀 A fast safe reinforcement learning library in PyTorch
total releases 1latest release June 14, 2023most recent commit 6 months ago
Omnisafe ⭐ 831
OmniSafe is an infrastructural framework for accelerating SafeRL research.
total releases 8latest release June 01, 2023most recent commit 15 days ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.