memory-safety topic

List memory-safety repositories

hello-world.rs

2.7k
Stars
80
Forks
Watchers

🚀Memory safe, blazing fast, configurable, minimal hello world written in rust(🚀) in a few lines of code with few(1092🚀) dependencies🚀

c2rust

3.7k
Stars
207
Forks
Watchers

Migrate C code to Rust

LowFat

175
Stars
28
Forks
Watchers

Lean C/C++ Bounds Checking with Low-Fat Pointers

wuffs

4.0k
Stars
129
Forks
Watchers

Wrangling Untrusted File Formats Safely

mesapy

371
Stars
27
Forks
Watchers

A Fast and Safe Python based on PyPy

mesalock-distro

370
Stars
35
Forks
Watchers

MesaLock Linux: a memory-safe Linux distribution.

untrusted

190
Stars
24
Forks
Watchers

Safe, fast, zero-panic, zero-crashing, zero-allocation parsing of untrusted inputs in Rust.

r3

154
Stars
6
Forks
Watchers

R3-OS — Experimental static (μITRON-esque) RTOS for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics

EffectiveSan

101
Stars
19
Forks
Watchers

Runtime type and bounds-error checking for C/C++