safety topic

👷 TypeScript's largest type utility library

millsp

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

stanislaw

Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF

lemmy

A simple - customizable - Discord Client

Lightcord

Open-source vulnerability disclosure and bug bounty program database

disclose

Opinionated Next JS project boilerplate with TypeScript and Redux

sanjaytwisk

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

weston-embedded

Safe reinforcement learning with stability guarantees

befelix

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

nette

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

stnolting