17 results found Sort:
- Filter by Primary Language:
- C++ (6)
- Rust (4)
- C (3)
- Python (2)
- Julia (1)
- RenderScript (1)
- +
Wrangling Untrusted File Formats Safely
Created
2017-11-13
3,873 commits to main branch, last one about a month ago
Migrate C code to Rust
Created
2018-04-20
8,093 commits to master branch, last one 10 days ago
🚀Memory safe, blazing fast, configurable, minimal hello world written in rust(🚀) in a few lines of code with few(1247🚀) dependencies🚀
Created
2021-08-13
380 commits to master branch, last one 3 months ago
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...
Created
2016-02-23
514 commits to main branch, last one 6 months ago
Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.
Created
2022-09-08
1,200 commits to main branch, last one a day ago
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...
Created
2016-06-07
456,547 commits to main branch, last one 6 months ago
A Fast and Safe Python based on PyPy
Created
2018-06-04
121 commits to mesapy2.7 branch, last one 5 years ago
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...
Created
2024-12-28
40 commits to main branch, last one 5 days ago
Safe, fast, zero-panic, zero-crashing, zero-allocation parsing of untrusted inputs in Rust.
Created
2016-06-05
88 commits to main branch, last one 3 years ago
Lean C/C++ Bounds Checking with Low-Fat Pointers
Created
2017-11-02
59 commits to master branch, last one 3 years ago
R3-OS — Experimental static (μITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics
Created
2020-06-05
1,897 commits to 🦆 branch, last one 2 years ago
A binary hardening system
Created
2022-03-10
12 commits to master branch, last one about a year ago
Runtime type and bounds-error checking for C/C++
Created
2018-02-27
25 commits to master branch, last one 3 months ago
A borrow checker for Julia
Created
2025-01-05
275 commits to main branch, last one 11 hours ago
This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
Created
2024-01-05
527 commits to main branch, last one 12 days ago
Golf is a programming language, framework and application server for high-performance web services and web applications, with focus on simplicity and memory safety..
Created
2024-09-15
97 commits to main branch, last one 6 days ago
An enigmatic JIT programming language...
Created
2023-07-22
644 commits to main branch, last one 7 days ago