The CompCert formally-verified C compiler
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.
1 project | reddit.com/r/ProgrammerHumor | 15 Feb 2022
Writing a Fuzzer for NES Games
1 project | news.ycombinator.com | 27 Nov 2021
Multicore OCaml: September 2021, effect handlers will be in OCaml 5.0
1 project | news.ycombinator.com | 4 Oct 2021
Coverage Is Not Strongly Correlated with Test Suite Effectiveness
1 project | news.ycombinator.com | 28 Sep 2021
What are real world examples of dependent types signficant improving security or productivity?
1 project | reddit.com/r/agda | 13 Sep 2021