The CompCert C Compiler (compcert.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of compcert.org: The CompCert C Compiler

First screen, captured 2 years ago.

Looks similar

Screenshot of cobolworx.com: COBOL for GCC Development

COBOL for GCC Development (cobolworx.com)

64 points by pantalaimon 2 years ago | 19 comments

Screenshot of sdcc.sourceforge.net: SDCC – Small Device C Compiler

SDCC – Small Device C Compiler (sdcc.sourceforge.net)

121 points by lioeters 1 month ago | 29 comments

Screenshot of learn-c.org: Open-source interactive C tutorial in the browser

Open-source interactive C tutorial in the browser (learn-c.org)

231 points by Buttons840 1 year ago | 43 comments

Screenshot of sqlite.org: Why Is SQLite Coded In C

Why Is SQLite Coded In C (sqlite.org)

273 points by plainOldText 1 year ago | 269 comments

Screenshot of sqlite.org: C Is Best (2025)

C Is Best (2025)(sqlite.org)

341 points by alexpadula 9 months ago | 407 comments

SQLite documentation page explaining why SQLite is implemented in C and why there are no plans to rewrite it in another language.

sqlite c-language programming-languages software-design

Screenshot of tratt.net: Retrofitting JIT Compilers into C Interpreters

Retrofitting JIT Compilers into C Interpreters (tratt.net)

108 points by ltratt 6 months ago | 22 comments