memory-safety · GitHub Topics

google / wuffs

Wrangling Untrusted File Formats Safely

Parsing memory-safety 编程语言 codec

C 4.53 k

20 天前

immunant / c2rust

Migrate C code to Rust

transpiler Rust security-hardening migration translation memory-safety

Rust 4.29 k

1 个月前

mTvare6 / hello-world.rs

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

Rust rust-crate rust-library memory-safety speed blazingly-fast configurable minimal blazing-fast fast ciscringe rustisrewrite hello-world helloworld

RenderScript 3.45 k

18 天前

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

C 编程语言 system-programming clang LLVM memory-safety type-safety

C 3.24 k

8 个月前

google / zerocopy

Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.

memory memory-safety performance Rust zero-copy

Rust 1.95 k

2 天前

checkedc / checkedc-clang

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

C clang LLVM memory-safety 编程语言 system-programming type-safety

C++ 506

8 个月前

mesalock-linux / mesapy

A Fast and Safe Python based on PyPy

Python memory-safety formal-verification sgx Rust pypy

Python 371

2 年前

mesalock-linux / mesalock-distro

MesaLock Linux: a memory-safe Linux distribution.

Linux memory-safety Rust Go Docker Image

Shell 371

7 年前

rsashka / memsafe

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

C++header-only memory-safety research

C++ 263

21 天前

briansmith / untrusted

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

Parsing memory-safety

Rust 203

2 年前

GJDuck / LowFat

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

bounds-checking low-fat-pointers memory-safety Sanitization 安全 LLVM

C++ 182

3 年前

r3-os / r3

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

embedded-systems rtos Rust cortex-m cortex-a RISC-V Kernel memory-safety experimental embedded-rust

Rust 167

2 年前

vokegpu / ekg

High-performance, descriptor-based, low-latency, memory-safety, multi-platform, modular GPU-accelerated GUI library written for C++.

GUI Simple DirectMedia Layer OpenGL C++Hacktoberfest glew glfw glfw3 native ui memory-safety

C++ 127

5 天前

MilesCranmer / BorrowChecker.jl

A borrow checker for Julia

Code quality concurrency Development development-tools Julia 语言 memory-management memory-safety multithreading ownership 编程语言 Rust safety Testing thread-safety

Julia 109

2 个月前

GJDuck / RedFat

A binary hardening system

binary hardening memory-safety low-fat-pointers x86-64 binary-rewriting e9patch

C++ 109

2 年前

GJDuck / EffectiveSan

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

bounds-checking memory-safety type-checking low-fat-pointers Sanitization 安全 LLVM

C++ 103

6 个月前

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.

memory-safety

TeX 70

6 天前

golf-lang / golf

Golf is a programming language, framework and application server for high-performance web services and web applications, with focus on simplicity and memory safety..