Languages Features Creators CSV Resources Challenges Add Language
GitHub icon


checked-c - Programming language

< >

checked-c is a programming language created in 2015 by David Tarditi.

#792on PLDB 8Years Old 3.3kUsers
0Books 0Papers

Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.

kodu-game-lab.html 路 checked-c.html 路 arc-isa.html

View source

- Build the next great programming language Search Day 209 About Blog Acknowledgements Traffic Traffic Today GitHub