-
Updated
Mar 12, 2021 - TypeScript
#
safety
Here are 328 public repositories matching this topic...
utility
typescript
types
typescript-library
dynamic-types
safety
type-safety
type-checking
type-utilities
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
Oct 20, 2020 - Makefile
lumjjb
commented
Feb 25, 2021
CNCF Cloud Native Security Map Vanilla
For a much more detailed guide on this project and how to start contributing, please comment on the issue and take a look at https://docs.google.com/document/d/1ytshTEnoKqP0m0JFKO4IB2qEFaIAZc9jDet6VdeT3sE/
Description:
We have discussed the vision of the cloud native security map (#348), the ideas and discussions are available in this [google
html
php
security
template-engine
nette
nette-framework
xss
safety
content-aware
latte
security-hole
-
Updated
Mar 11, 2021 - PHP
Web 端反爬技术方案
-
Updated
Dec 12, 2020 - JavaScript
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
Mar 30, 2021 - HTML
Performing security tests inside your CI
javascript
python
golang
continuous-integration
static-analysis
gitlab-ci
safety
ruby-on-rails
vulnerabilities
hacktoberfest
brakeman
security-automation
security-tools
bandit
npm-audit
yarn-audit
gosec
huskyci-client
-
Updated
Mar 24, 2021 - Go
Zebra Crossing: an easy-to-use digital safety checklist
-
Updated
Jan 20, 2021
Extra strict and opinionated rules for PHPStan
-
Updated
Apr 3, 2021 - PHP
-
Updated
Mar 11, 2021 - 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
Mar 2, 2021 - C++
Safe reinforcement learning with stability guarantees
-
Updated
Feb 10, 2020 - Python
Opinionated Next JS project boilerplate with TypeScript and Redux
react
redux
stylelint
boilerplate
typescript
jest
nextjs
css-modules
scss
prettier
static-site
safety
svg-sprites
linters
husky
testing-library
-
Updated
Jan 8, 2021 - TypeScript
Anti-Fishhook (make fishhook doesn't work)
-
Updated
Dec 17, 2020 - Swift
Safe Bayesian Optimization
-
Updated
Apr 16, 2020 - Python
A command-line snapshot maker for your DigitalOcean droplets. Fully Automated. Multi-threaded.
-
Updated
Dec 5, 2020 - Ruby
Bao, a Lightweight Static Partitioning Hypervisor
security
embedded
virtualization
hypervisor
safety
armv8
risc-v
mixed-critcality
static-partitioning
-
Updated
Apr 4, 2021 - C
cargo-safety provides safety checks for Rust projects by finding all uses of unsafe code in dependencies.
-
Updated
Jan 7, 2018 - Rust
Swift Codable JSON:API framework
-
Updated
Mar 7, 2021 - Swift
Open source Android, iOS and Web app for learning about and managing digital and physical security. From how to send a secure message to dealing with a kidnap. Umbrella has best practice guides in over 40 topics in multiple languages. Used daily by people working in high risk countries - journalists, activists, diplomats, business travelers etc.
-
Updated
Nov 23, 2020 - HTML
-
Updated
Nov 3, 2017 - C#
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
Type safe utils inspired from the Rust language for writing better TypeScript/Flow.
-
Updated
Mar 29, 2021 - TypeScript
Safety Verification of Deep Neural Networks
-
Updated
Feb 5, 2018 - Python
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."
As someone who has an addition or change to make to diodb but is not conversant with git or Github (e.g. legal team, marketing team, executive, etc) I would like to be able to use a web-based form to submit a change.
As a maintainer, I'd like submissions from the form above to be checked against the existing database to determine whether they are a new entry or an update. Given the user isn't a