Looks similar
Notes by djb on using Fil-C(cr.yp.to)
340 points by transpute | 219 comments
Daniel J. Bernstein's notes on using the memory-safe C/C++ compiler Fil-C, including install scripts, timings, and compatibility observations on Debian 13.
Porting to GCC 14: C language issues(gcc.gnu.org)
122 points by fweimer | 100 comments
The CompCert C Compiler(compcert.org)
183 points by nequo | 186 comments
Writing a C Compiler, in Zig (2025)(ar-ms.me)
165 points by tosh | 48 comments






