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

Safe-RLHF: Constrained Value Alignment via Safe Reinforcement Learning from Human Feedback

A Physical Quantities and Units library for C++

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.

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

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

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

Chinese safety prompts for evaluating and improving the safety of LLMs. 中文安全prompts，用于评估和提升大模型的安全性。

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

面向中文大模型价值观的评估与对齐研究

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

Awesome-LLM-Robustness: a curated list of Uncertainty, Reliability and Robustness in Large Language Models