Repository navigation
memory-safety
- Website
- Wikipedia
Migrate C code to Rust
🚀Memory safe, blazing fast, configurable, minimal hello world written in rust(🚀) in a few lines of code with few(1247🚀) dependencies🚀
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.
Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.
This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.
A Fast and Safe Python based on PyPy
MesaLock Linux: a memory-safe Linux distribution.
C++ Memory safety (memsafe) single-header libraries and Clang compiler plugin for safe C++, which reduces errors for reference data types and safe memory management without breaking backward compatibility with old C++ code.
Safe, fast, zero-panic, zero-crashing, zero-allocation parsing of untrusted inputs in Rust.
Lean C/C++ Bounds Checking with Low-Fat Pointers
R3-OS — Experimental static (μITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics
High-performance, descriptor-based, low-latency, memory-safety, multi-platform, modular GPU-accelerated GUI library written for C++.
A binary hardening system
Runtime type and bounds-error checking for C/C++
This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
An enigmatic programming language...
Configurable instrumentation of LLVM bitcode
A memory-safe systems programming language designed to replace C++