-
Updated
Aug 15, 2020 - Makefile
#
safety
Here are 270 public repositories matching this topic...
List of resources about programming practices for writing safety-critical software.
programming-language
verification
safety
awesome-list
certification
avionics
safety-critical
awesome-lists
safety-standards
-
Updated
Sep 6, 2020 - PHP
Web 端反爬技术方案
-
Updated
Jun 9, 2020 - JavaScript
Performing security tests inside your CI
javascript
python
golang
continuous-integration
static-analysis
gitlab-ci
safety
ruby-on-rails
vulnerabilities
brakeman
security-automation
security-tools
bandit
npm-audit
yarn-audit
gosec
huskyci-client
-
Updated
Sep 10, 2020 - Go
-
Updated
Sep 11, 2020
Zebra Crossing: an easy-to-use digital safety checklist
-
Updated
Aug 1, 2020
Extra strict and opinionated rules for PHPStan
-
Updated
Sep 2, 2020 - PHP
-
Updated
Aug 3, 2020 - PHP
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
-
Updated
Sep 1, 2020 - C++
Safe reinforcement learning with stability guarantees
-
Updated
Feb 10, 2020 - Python
Anti-Fishhook (make fishhook doesn't work)
-
Updated
Jul 29, 2020 - Swift
A command-line snapshot maker for your DigitalOcean droplets. Fully Automated. Multi-threaded.
-
Updated
Aug 27, 2020 - Ruby
Safe Bayesian Optimization
-
Updated
Apr 16, 2020 - Python
A simple - customizable - Discord Client
nodejs
javascript
client
privacy
typescript
js
discord
mod
discord-api
discord-client
safety
discord-theme
betterdiscord
betterdiscord-plugin
betterdiscord-theme
discord-mod
bandagedbd
lightcord
discord-plugin
remove-tracker
-
Updated
Sep 14, 2020 - JavaScript
cargo-safety provides safety checks for Rust projects by finding all uses of unsafe code in dependencies.
-
Updated
Jan 7, 2018 - Rust
Safe concurrency in D (`shared` made easier)
rust
concurrency
rust-language
d
dlang
multithreading
rust-lang
threading
safety
rustlang
safe
ownership
mutex
nogc
mutex-synchronisation
lifetimes
reference-counting
multithread
dlanguage
dip1000
-
Updated
Jan 3, 2019 - D
Swift Codable JSON:API framework
-
Updated
Sep 9, 2020 - Swift
adithyaanilkumar
commented
Mar 14, 2020
API for hosting and running the trained model on.
Resources:
https://www.pyimagesearch.com/2019/04/15/live-video-streaming-over-network-with-opencv-and-imagezmq/
[https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=15&cad=rja&uact=8&ved=2ahUKEwi6x6zRvZnoAhWY9nMBHZlRAjoQFjAOegQIBxAB&url=https%3A%2F%2Ftowardsdatascience.com%2Freal-time-and-video-processing-object-detection-us
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
-
Updated
Nov 3, 2017 - C#
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.
Add this topic to your repo
To associate your repository with the safety topic, visit your repo's landing page and select "manage topics."


#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.