Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for safety critical
safety-critical
x
23 search results found
Awesome Safety Critical
⭐
1,482
List of resources about programming practices for writing safety-critical software.
Omnisafe
⭐
831
OmniSafe is an infrastructural framework for accelerating SafeRL research.
Mission Critical
⭐
521
This repository provides a design methodology and approach to building highly-reliable applications on Microsoft Azure for mission-critical workloads.
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.
Safety Gymnasium
⭐
258
NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark
Safe_numerics
⭐
198
Replacements to standard numeric types which throw exceptions on errors
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.
Fsrl
⭐
121
🚀 A fast safe reinforcement learning library in PyTorch
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.
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.
Vsrl Framework
⭐
37
The Verifiably Safe Reinforcement Learning Framework
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.
C Atom
⭐
18
Model-based driven real-time embedded software framework for safety-critical and mission-critical application
Awesome Failure Detection
⭐
18
A list of papers that studies out-of-distribution (OOD) detection and misclassification detection (MisD)
Cbf Clf Helper
⭐
17
Matlab Interface for Control Barrier Function (CBF) and Control Lyapunov Function (CLF) based control methods.
Ti Hercules Bsp
⭐
16
Bare Metal Board Support Package for Texas Instruments Cortex-R4F/R5F TMS570
Embedded Pid
⭐
15
Portable C99 implementation of Type-C PID controller with a flexible API and errors handling. Also an Arduino library.
S2opc
⭐
14
Mirror repository for open-source OPC-UA Toolkit designed with security and embedded devices in mind. Main repository is on gitlab:
Qm
⭐
13
QM is a containerized environment for running Functional Safety qm (Quality Management) software
Aureus
⭐
12
An open-source design system for non-profits to quickly develop user safety critical applications.
Wg Aerospace
⭐
8
ELISA Aerospace Working Group
Cbf Cartpole
⭐
7
Various Control Barrier Function realized on cartpole.
Eigen Malloc Free Pseudoinverse
⭐
7
This extended Eigen C++ template library and wrapper provide a malloc-free Moore-Penrose pseudoinverse solver.
Related Searches
C Safety Critical (6)
1-23 of 23 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.