safety

👷 TypeScript's largest type utility library

🔐CNCF Security Technical Advisory Group -- secure access, policy control, privacy, auditing, explainability and more!

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

☕ Latte: the safest & truly intuitive templates for PHP. Engine for those who want the most secure PHP sites.

Open-source vulnerability disclosure and bug bounty program database.

A robust option type for C#

A simple - customizable - Discord Client

Web 端反爬技术方案

Performing security tests inside your CI

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.

Zebra Crossing: an easy-to-use digital safety checklist

µC/OS-II is a preemptive, highly portable, and scalable real-time kernels. Designed for ease of use on a huge number of CPU architectures.

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

Library implementing the Responsibility Sensitive Safety model (RSS) for Autonomous Vehicles

A collaborative collection of open-source safe GPT-3 prompts that work well

Opinionated Next JS project boilerplate with TypeScript and Redux

Safe reinforcement learning with stability guarantees

Bao, a Lightweight Static Partitioning Hypervisor

Make swift code swifty