Wrangling Untrusted File Formats Safely
Migrate C code to Rust
🚀Memory safe, blazing fast, configurable, minimal hello world written i...
A Fast and Safe Python based on PyPy
MesaLock Linux: a memory-safe Linux distribution.
A modern C++ wrapper library for SDL2 in order to improve type-safety, m...
Safe, fast, zero-panic, zero-crashing, zero-allocation parsing of untrus...
Lean C/C++ Bounds Checking with Low-Fat Pointers
R3-OS — Experimental static (μITRON-esque) RTOS for deeply embedded syst...
Runtime type and bounds-error checking for C/C++
Configurable instrumentation of LLVM bitcode