Stars
An introduction to programming language theory in Agda
Triple 20: A domain specific language for kernel-to-kernel transformations.
The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.
The CompCert formally-verified C compiler
The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr.