#memory-safety (9 Repositories)
Ranked open-source repositories tagged with #memory-safety, scored by pull request acceptance likelihood and maintainer engagement velocity.
56.4%
15.0h
9 repositories tagged #memory-safety
riscv/riscv-cheri
This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
google/zerocopy
Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.
MilesCranmer/BorrowChecker.jl
A borrow checker for Julia
bloomberg/crane
A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
google/wuffs
Wrangling Untrusted File Formats Safely
immunant/c2rust
Migrate C code to Rust
The-Istasha/memguard-rs
Secure memory handling primitives for Rust — zeroization on drop, mlock-protected regions, constant-time comparison, and compile-time enforced memory safety boundaries
mesalock-linux/mesalock-distro
MesaLock Linux: a memory-safe Linux distribution.
checkedc/checkedc
Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors.