Benchmarking the oksh shell, or, let's look at a lot of C compilers | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

		Benchmarking the oksh shell, or, let's look at a lot of C compilers (briancallahan.net)
		58 points by ingve on Oct 11, 2021 \| hide \| past \| favorite \| 1 comment

okaleniuk on Oct 11, 2021 [–]

I love that CompCert is now a thing. Does it perform well compile-time-wise?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact