Here are
259 public repositories
matching this topic...
List of resources about programming practices for writing safety-critical software.
-
Updated
May 24, 2020
-
Makefile
A robust option type for C#
☕ Latte: the intuitive and fast template engine for those who want the most secure PHP sites.
-
Updated
Jun 9, 2020
-
JavaScript
Performing security tests inside your CI
😎CNCF Special Interest Group on Security -- secure access, policy control, privacy, auditing, explainability and more!
Extra strict and opinionated rules for PHPStan
Zebra Crossing: an easy-to-use digital safety checklist
📝 Generating, validating and processing secure forms in PHP. Handy API, fully customizable, server & client side validation and mature design.
A collaborative collection of open-source safe GPT-3 prompts that work well
Library implementing the Responsibility Sensitive Safety model (RSS) for Autonomous Vehicles
Safe reinforcement learning with stability guarantees
-
Updated
Feb 10, 2020
-
Python
End-To-End File & Message Encryption For Discord
-
Updated
Jul 24, 2020
-
JavaScript
Anti-Fishhook (make fishhook doesn't work)
-
Updated
Jul 29, 2020
-
Swift
Safe Bayesian Optimization
-
Updated
Apr 16, 2020
-
Python
A command-line snapshot maker for your DigitalOcean droplets. Fully Automated. Multi-threaded.
-
Updated
Apr 15, 2020
-
Ruby
cargo-safety provides safety checks for Rust projects by finding all uses of unsafe code in dependencies.
Datagram Transport Layer Security (DTLS) client.
-
Updated
Nov 1, 2019
-
JavaScript
Toolkit for research purposes in AIS. See the website for the paper.
-
Updated
May 11, 2020
-
Python
A Type-Safe, Thread-Safe-ish approach to CoreData in Swift
-
Updated
Aug 29, 2016
-
Swift
Content Used In Umbrella App
-
Updated
Mar 10, 2019
-
HTML
Safe concurrency in D (`shared` made easier)
Type safe utils inspired from the Rust language for writing better TypeScript/Flow.
-
Updated
Jul 14, 2020
-
TypeScript
Swift Codable JSON:API framework
-
Updated
Jun 25, 2020
-
Swift
A community driven Public Safety project.
-
Updated
Jun 23, 2020
-
Python
📱 An Android device MAC changer
Safety Verification of Deep Neural Networks
-
Updated
Feb 5, 2018
-
Python
macOS command line tool to move files to trash
-
Updated
Jan 30, 2020
-
Swift
Safer Python with types for untrusted input
-
Updated
Mar 7, 2019
-
Python
a gesture recognition verification lock
-
Updated
Jul 21, 2019
-
Dart
Improve this page
Add a description, image, and links to the
safety
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
safety
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.