safety

👷 TypeScript's largest type utility library

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

🖥️ A tiny, customizable and highly extensible MCU-class 32-bit RISC-V soft-core CPU and microcontroller-like SoC written in platform-independent VHDL.

Open-source vulnerability disclosure and bug bounty program database.

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

A simple - customizable - Discord Client

A robust option type 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.

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.

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 12 project boilerplate with TypeScript and Redux

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

Safe reinforcement learning with stability guarantees

Anti-Fishhook (make fishhook doesn't work)

Bao, a Lightweight Static Partitioning Hypervisor

Safe Bayesian Optimization

Make swift code swifty

A command-line snapshot maker for your DigitalOcean droplets. Fully Automated. Multi-threaded.

Toolkit for research purposes in AIS. See the website for the paper.

Datagram Transport Layer Security (DTLS) client.

Swift Codable JSON:API framework

cargo-safety provides safety checks for Rust projects by finding all uses of unsafe code in dependencies.

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.

Safe Exploration with MPC and Gaussian process models