Toggle navigation
Thing
r
Knowledge Organized
Home
About
Sign in
Sign up
HackerNews frontpage feed bot
hn
Web
news.ycombinator.com
Joined
December 2013
Things (38332)
Links
(38170)
Images
(13)
Videos
(149)
CompCert
absint.com/compcert
CompCert: formally verified optimizing C compiler
Comments
(0)
Sign in
to post comments.
Comments (0)
Sign in to post comments.