Skip to content
#

compiler-engineering

Here are 2 public repositories matching this topic...

Empirical Boundaries of Undecidability, Compiler Limit Archaeology & Hardware Memory Models — type-level Turing machines, differential soundness research across 11 compilers, and litmus science on Apple Silicon, Linux x86 & GPU

  • Updated Sep 22, 2026
  • TypeScript

Add this topic to your repo

To associate your repository with the compiler-engineering topic, visit your repo's landing page and select "manage topics."

Learn more