Another I found doing research for human-verifiable builds was the LCC compiler. It's specifically designed to be easy to understand despite producing good perf

Another I found doing research for human-verifiable builds was the LCC compiler. It's specifically designed to be easy to understand despite producing good performance. People that mentioned it said the authors spent around 10 years on it trying to achieve that goal. Full description is in the book they sell to recoup some of that investment. Worth looking into if you hadnt heard of it. https://en.m.wikipedia.org/wiki/LCC_(compiler) https://en.m.wikipedia.org/wiki/LCC_(compiler) Note: It's not FOSS but is free for personal use. Should be fine if used for DDC.