Here are
266 public repositories
matching this topic...
List of resources about programming practices for writing safety-critical software.
Updated
Aug 15, 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!
Zebra Crossing: an easy-to-use digital safety checklist
Extra strict and opinionated rules for PHPStan
📝 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
Updated
Aug 2, 2020
Python
Library implementing the Responsibility Sensitive Safety model (RSS) for Autonomous Vehicles
Safe reinforcement learning with stability guarantees
Updated
Feb 10, 2020
Python
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
Datagram Transport Layer Security (DTLS) client.
Updated
Nov 1, 2019
JavaScript
cargo-safety provides safety checks for Rust projects by finding all uses of unsafe code in dependencies.
Toolkit for research purposes in AIS. See the website for the paper.
Updated
Aug 20, 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)
A simple - customizable - Discord Client
Updated
Aug 19, 2020
JavaScript
Swift Codable JSON:API framework
Updated
Jun 25, 2020
Swift
Type safe utils inspired from the Rust language for writing better TypeScript/Flow.
Updated
Jul 14, 2020
TypeScript
Safety Verification of Deep Neural Networks
Updated
Feb 5, 2018
Python
📱 An Android device MAC changer
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
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.
#196 introduced a double up of each entry that wasn't caught in review. In order to prevent repeat cases of this, or minor double ups, a Github actions entry should be created that checks for any double ups of the program name at the time when a new pull request is created, and if so, fail the case.