checkedc/checkedc
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. observed · 2026-08-28
Health v2 · maintenance only
23/100
- Activity 0
- Release rhythm 8
- Longevity 100
Flags: no_license
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-03. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 3844
- days_rel: n/a
- days_push: 695
- n_releases_24m: 0
Adoption not part of the score
3255 stars · 189 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-29, confidence not recorded
Checked C is an extension to the C programming language that adds bounds checking and improved type safety through opt-in annotations, implemented as a fork of LLVM/Clang. This repository hosts the language specification, sample code, and tests, with a companion 3C tool for semi-automatically converting existing C code.
Use cases
- make existing C code memory-safe
- add bounds checking to C programs
- eliminate buffer overflow errors in C
- incrementally retrofit a C codebase with type safety
- compile C with a memory-safe compiler
- learn about safe C language design
When to choose
- you maintain C code with memory-safety bugs and want incremental, opt-in hardening
- you need binary compatibility with existing C ABIs while adding bounds checks
- you want annotations that are erasable so code still builds with standard C compilers
When to avoid
- you need a mainstream, widely supported toolchain for production today
- your project cannot adopt a Clang/LLVM fork
- you need temporal memory safety guarantees beyond what the current extension fully provides
Facets
cli-tool · maturity active
programming-language type-system security compiler programming-languages security developer-tools compilers cpp c windows cross-platform memory-safety bounds-checking c-extension clang llvm language-specification retrofitting type-safety linux macos
2 sources
- readme: https://github.com/checkedc/checkedc · fetched 2026-08-28 · 16eca0e4f662
- homepage: https://www.checkedc.org · fetched 2026-08-29 · e9f28f141901
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| checkedc/checkedc | main | 23 |
For agents
markdown · JSON · MCP: product_card(name="checkedc/checkedc")
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem