Skip to content
/ checkedc Public

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.

www.checkedc.org

License

View license
3.2k stars 185 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

checkedc/checkedc

Error
Looks like something went wrong!

About

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.

www.checkedc.org

Topics

c programming-language llvm clang memory-safety type-safety system-programming

Resources

Readme

License

View license

Code of conduct

Code of conduct
Activity
Custom properties

Stars

3.2k stars

Watchers

109 watching

Forks

185 forks
Report repository

Releases 7

Version 1.0 of the Checked C specification Latest
Sep 1, 2024
+ 6 releases

Packages

No packages published

Contributors 30

+ 16 contributors

Languages