Hacker GitHub

← All repos

AbsInt/CompCert

View on GitHub ↗ ★ 2,267 Rocq Prover

The CompCert formally-verified C compiler

22 mentions on Hacker News by 17 people: 2 stories, 20 comments · first 2015-04-05 · latest 2026-07-05

Mentions per year 22 mentions · busiest year 2017 (5)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 227
    CompCert – Formally-verified C compiler
    story by deterministic · 2021-06-27 · 123 comments
  2. ▲ 2
    CompCert – The verified C compiler
    story by EvgeniyZh · 2017-01-14 · 0 comments