Owner · checkedc

checkedc

checkedc's tracked open-source repos, sorted by stars.

2 repos

#1
checkedc ↗@checkedcC
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.
★ 3,258+3Star change over the last 7 days
#2
checkedc-clang ↗@checkedcC++
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.
★ 516+0Star change over the last 7 days