The CompCert C Compiler(compcert.org)
183 points by nequo | 186 comments
compcert.org on Hacker News
1 story on the front page, newest first. Scroll down to watch the site change over time.
1 story on the front page, newest first. Scroll down to watch the site change over time.
183 points by nequo | 186 comments