checkedc
C compiler extender
An extension to C that adds bounds checking and type safety to existing C code.
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.
3k stars
111 watching
185 forks
Language: C
last commit: about 1 year ago
Linked from 1 awesome list
cclangllvmmemory-safetyprogramming-languagesystem-programmingtype-safety
uhub/awesome-cRelated projects:
| Repository | Description | Stars |
|---|---|---|
 rui314/chibicc | An open-source C compiler that aims to implement all C11 features and compile real-world programs correctly. | 9,774 |
 fragglet/c-algorithms | A collection of commonly used algorithms in C. | 3,368 |
 lotabout/write-a-c-interpreter | A simple C interpreter that can interpret and run itself | 4,070 |
 nicup14/minilang | A modern, type-safe C successor with a focus on memory safety and ease of use. | 139 |
 boyter/scc | Fast code counter with complexity calculations and COCOMO estimates written in pure Go. | 6,855 |
| rui314/8cc | An experimental C compiler that aims to compile itself and supports various language features while keeping the code concise. | 6,166 |
 doctorwkt/acwj | Writing a compiler for a simplified version of the C programming language from scratch. | 10,644 |
 smackers/smack | A software verification toolchain that translates C code into intermediate language and verifies its assertions using model checking and abstract interpretation | 431 |
 jamesroutley/write-a-hash-table | Implementing an open-addressed, double-hashed hash table in C | 3,552 |
 danmar/cppcheck | Automated code analysis tool for C and C++ code | 5,882 |
 serenityos/jakt | A systems programming language aimed at providing memory safety and code readability through design features such as automatic reference counting and strong typing. | 2,831 |
 foonathan/type_safe | A set of C++ utilities to prevent bugs at compile time using the type system. | 1,545 |
 c3lang/c3c | A compiler for an evolution of the C language | 3,085 |
 sqlc-dev/sqlc | Generates type-safe code from SQL queries | 13,704 |
 cgag/loc | A Rust implementation of a line-of-code counting tool with improved performance compared to existing alternatives. | 2,340 |