memory-safety
There are 4 repositories under memory-safety topic.
- Language:C 4621
- Language:Rust 4469
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🚀
Language:RenderScript 3476checkedc / 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.
Language:C 3246google / zerocopy
Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.
Language:Rust 2031This 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.
Language:C++ 505mesalock-linux / mesalock-distro
MesaLock Linux: a memory-safe Linux distribution.
Language:Shell 371A Fast and Safe Python based on PyPy
Language:Python 371rsashka / 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 compatibility with old C++ code.
Language:C++ 252briansmith / untrusted
Safe, fast, zero-panic, zero-crashing, zero-allocation parsing of untrusted inputs in Rust.
Language:Rust 201- Language:C++ 181
- r3
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
Language:Rust 163 MilesCranmer / BorrowChecker.jl
A borrow checker for Julia
Language:Julia 111- Language:C++ 105
GJDuck / EffectiveSan
Runtime type and bounds-error checking for C/C++
Language:C++ 103riscv / 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.
Language:Python 65golf-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..
Language:C 42staticafi / sbt-instrumentation
Configurable instrumentation of LLVM bitcode
Language:C++ 34occultlang / occult
An enigmatic JIT programming language...
Language:C++ 31- Language:Java 22
- Language:C++ 17
- Language:C 17
Dentrax / obscure-go
In-memory security with secure data types
Language:Go 16coding-pelican / dasae-headers
dasae-headers: A modern extension language for safer and more productive C programming
Language:C 11- Language:C 10
- Language:Rust 9
RobbeDGreef / SafeCC
C Compiler that strives to be as (memory) safe as possible.
Language:C++ 8jlauinger / master-of-science
Identification and Analysis of unsafe.Pointer Usage Patterns in Open-Source Go Code
Language:TeX 5andrew-wja / instrumentor
instrumentor is a tool for instrumenting LLVM IR to detect problems at runtime. The initial focus is on memory safety issues such as leaks, use-after-free, stack smashing, and out-of-bounds access.
Language:Makefile 4- Language:Rust 4
huangjiahua / neatlib
Some C++ utility library, especially on hash tables.
Language:C++ 4josh-tracey / exprimo
Exprimo is a JavaScript expression evaluator written in Rust.
Language:Rust 4danakj / danakj.github.io
Thoughts about C++, Memory Safety, Library Design, Memory Safety, Sharp Edges
Language:HTML 3- Language:D 3
WilliamKarolDiCioccio / astrophel
Astrophel is a learning project aimed at building a simple yet structured programming language
Language:Dart 3
