Vybe Guide
Sign Up

Explore Projects

Discover 4 open source projects

Active filters (1):
Search: safety-critical×
Clear all

Showing 1-4 of 4 projects

siemens/jailhouse

Jailhouse is a Linux-based partitioning hypervisor for real-time and safety-critical applications.

1.9K
Archived
C
Containerization
Linux Distros
#hypervisor#linux#real-time

stanislaw/awesome-safety-critical

A curated list of resources for writing safety-critical software, focused on best practices and standards.

1.6K
Experimental
Python
API Frameworks
Documentation
#safety#safety-critical#software-engineering

ferrocene/ferrocene

Ferrocene is a safety-critical Rust toolchain focused on providing a secure and reliable development environment.

1.6K
Active
Rust
CLI Tools
API Frameworks
#safety-critical#rust#toolchain

PKU-Alignment/omnisafe

OmniSafe is an infrastructural framework for accelerating safe reinforcement learning research.

1.1K
Experimental
Python
Reinforcement Learning
Constraint Satisfaction Problem
PyTorch
#safe-reinforcement-learning#benchmark#constraint-rl

Stay in the loop

Get weekly updates on trending AI coding tools and projects.