GraalVM Native ImageClosed-world AOT compilation that turns a managed JVM application into a self-contained native executable.
.NET NativeAOTMicrosoft's production successor to CoreRT: trimmed CoreCLR plus RyuJIT-as-AOT, shipping single-file native binaries.
Zig Self-Hosted CompilerSystems language rebuilding its compiler around its own native backends, with LLVM demoted to an optional path.
CrystalRuby-syntax statically-typed language with global type inference, LLVM backend, and Boehm GC.
NimStatic, GC-by-default systems language that emits C (or C++, JavaScript, LLVM) and inherits the host toolchain's optimiser.
HareTiny systems language built on QBE, deliberately constrained, BSD/Linux-only, manual memory.
V LanguageStatically-typed Go-influenced language that defaults to emitting C, with experimental native and LLVM backends and a multi-mode memory model.
JuliaJIT-first scientific language adding a real AOT path via juliac and a trimming-based static binary mechanism.
MojoPython-syntax systems language built on MLIR, with both AOT and JIT pipelines, on the path to 1.0 in H1 2026.
GHC NCG and the LLVM Backend ChoiceThe Glasgow Haskell Compiler's native code generator: hand-written, x86_64 / aarch64 / risc-v, alongside an LLVM alternative.
Swift and Embedded SwiftApple's Swift in two modes: full LLVM-driven AOT for app platforms, and a stripped Embedded Swift mode for microcontrollers and freestanding binaries.
Static Python, Cinder, and CPython's Copy-and-Patch JITMeta's typed Python subset that can be AOT-aware, the Cinder JIT, and CPython 3.13+'s experimental copy-and-patch JIT.
AOT Compilation Case Studies: Summary for MEP-42Cross-cutting patterns from twelve production AOT pipelines, with a recommendation for which one Mochi should learn from most.