Search Results - RepositoryStats

wuffs google

131

4.2k

other

84

Wrangling Untrusted File Formats Safely

codec parsing memory-safety programming-language

Created 2017-11-13

3,856 commits to main branch, last one 14 days ago

c2rust immunant

243

4.0k

other

55

Migrate C code to Rust

rust migration transpiler translation memory-safety security-hardening

Created 2018-04-20

7,958 commits to master branch, last one 2 days ago

checkedc checkedc

184

3.2k

other

111

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 llvm clang type-safety memory-safety system-programming programming-language

Created 2016-02-23

514 commits to main branch, last one about a month ago

hello-world.rs mTvare6

1

3.2k

other

1

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

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

Created 2021-08-13

370 commits to master branch, last one 3 months ago

zerocopy google

105

1.6k

apache-2.0

12

This repository has no description...

rust memory zero-copy performance memory-safety

Created 2022-09-08

1,130 commits to main branch, last one a day ago

checkedc-clang checkedc

76

504

unknown

46

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 llvm clang type-safety memory-safety system-programming programming-languages

Created 2016-06-07

456,547 commits to main branch, last one about a month ago

mesapy mesalock-linux

27

371

other

10

A Fast and Safe Python based on PyPy

sgx pypy rust python memory-safety formal-verification

Created 2018-06-04

121 commits to mesapy2.7 branch, last one 5 years ago

untrusted briansmith

24

198

other

9

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

parsing memory-safety

Created 2016-06-05

88 commits to main branch, last one 3 years ago

LowFat GJDuck

28

177

other

10

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

llvm security sanitizer memory-safety bounds-checking low-fat-pointers

Created 2017-11-02

59 commits to master branch, last one 2 years ago

r3 r3-os

8

160

apache-2.0

8

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

rtos rust kernel risc-v cortex-a cortex-m experimental embedded-rust memory-safety embedded-systems

Created 2020-06-05

1,897 commits to 🦆 branch, last one about a year ago

EffectiveSan GJDuck

19

101

unknown

11

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

llvm security sanitizer memory-safety type-checking bounds-checking low-fat-pointers

Created 2018-02-27

23 commits to master branch, last one 2 years ago

RedFat GJDuck

11

99

gpl-3.0

5

A binary hardening system

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

Created 2022-03-10

12 commits to master branch, last one about a year ago

riscv-cheri riscv

29

55

cc-by-4.0

20

This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.

capabilities memory-safety compartmentalization

Created 2024-01-05

442 commits to main branch, last one 15 hours ago

gliimly gliimly

1

30

apache-2.0

1

Gliimly is a new programming language and framework for writing high-performance web services and web applications, with focus on simplicity.

Created 2024-09-15

22 commits to main branch, last one a day ago