Top 18 safety open source projects

ts-toolbelt is the largest, and most tested type library available right now, featuring +200 utilities. Our type collection packages some of the most advanced mapped types, conditional types, and recursive types on the market.

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

Datagram Transport Layer Security (DTLS) client.

A component which applies guards to srcdoc iframes in order to provide a predictable and safe experience to the user. Complements the sandbox native iframe attribute.

A type-safe implementation for collections that cannot be empty. Life is too short for emptiness-checks!

Safety Verification of Deep Neural Networks

cargo-safety provides safety checks for Rust projects by finding all uses of unsafe code in dependencies.

SafetyDetect Sample provides many sample programs for your reference or usage.This example demonstrates how to integrate services provided by Safetydetect Kit, such as APPchecks, URLcheck, Userdetect, Wifidetect.

Open-source Circle of 6 with improved security and privacy features. PLEASE NOTE: For the new Circulo app please visit: https://gitlab.com/circuloapp/circulo-android

A multi-formalism, multi-solution model-checker centered on the language GAL

Safe Exploration with MPC and Gaussian process models

The Scenario Architect provides a lightweight graphical user interface that allows a straightforward realization and manipulation of concrete driving testing scenarios. Exemplary usecases are the validation of an online verification framework or training of an prediction algorithm.

A Type-Safe, Thread-Safe-ish approach to CoreData in Swift

🛡 PHP functions smarten up to throw exceptions instead of returning false or triggering errors.

PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL

Compile-time Swift dependency injection annotations

Yet another repo for the baxter collaboration task.

Gelöschte Artikel, Slices und Kategorien wiederherstellen