AOT Compilation Case Studies

GraalVM Native Image, .NET NativeAOT, Zig self-hosted, Crystal, Nim, Hare, V, Julia juliac, Mojo, GHC NCG, Embedded Swift, Static Python / CPython 3.13 JIT.

13 items

Research › Native Code Emission › AOT Compilation Case Studies ›

AOT Compilation Case Studies: Summary for MEP-42

Cross-cutting patterns from twelve production AOT pipelines, with a recommendation for which one Mochi should learn from most.
native-codegen aot May 18, 2026
Research › Native Code Emission › AOT Compilation Case Studies ›

GraalVM Native Image

Closed-world AOT compilation that turns a managed JVM application into a self-contained native executable.
native-codegen aot May 18, 2026
Research › Native Code Emission › AOT Compilation Case Studies ›

.NET NativeAOT

Microsoft's production successor to CoreRT: trimmed CoreCLR plus RyuJIT-as-AOT, shipping single-file native binaries.
native-codegen aot May 18, 2026
Research › Native Code Emission › AOT Compilation Case Studies ›

Zig Self-Hosted Compiler

Systems language rebuilding its compiler around its own native backends, with LLVM demoted to an optional path.
native-codegen aot May 18, 2026
Research › Native Code Emission › AOT Compilation Case Studies ›

Crystal

Ruby-syntax statically-typed language with global type inference, LLVM backend, and Boehm GC.
native-codegen aot May 18, 2026
Research › Native Code Emission › AOT Compilation Case Studies ›

Nim

Static, GC-by-default systems language that emits C (or C++, JavaScript, LLVM) and inherits the host toolchain's optimiser.
native-codegen aot May 18, 2026
Research › Native Code Emission › AOT Compilation Case Studies ›

Hare

Tiny systems language built on QBE, deliberately constrained, BSD/Linux-only, manual memory.
native-codegen aot May 18, 2026
Research › Native Code Emission › AOT Compilation Case Studies ›

V Language

Statically-typed Go-influenced language that defaults to emitting C, with experimental native and LLVM backends and a multi-mode memory model.
native-codegen aot May 18, 2026
Research › Native Code Emission › AOT Compilation Case Studies ›

Julia

JIT-first scientific language adding a real AOT path via juliac and a trimming-based static binary mechanism.
native-codegen aot May 18, 2026
Research › Native Code Emission › AOT Compilation Case Studies ›

Mojo

Python-syntax systems language built on MLIR, with both AOT and JIT pipelines, on the path to 1.0 in H1 2026.
native-codegen aot May 18, 2026
Research › Native Code Emission › AOT Compilation Case Studies ›

GHC NCG and the LLVM Backend Choice

The Glasgow Haskell Compiler's native code generator: hand-written, x86_64 / aarch64 / risc-v, alongside an LLVM alternative.
native-codegen aot May 18, 2026
Research › Native Code Emission › AOT Compilation Case Studies ›

Swift and Embedded Swift

Apple's Swift in two modes: full LLVM-driven AOT for app platforms, and a stripped Embedded Swift mode for microcontrollers and freestanding binaries.
native-codegen aot May 18, 2026
Research › Native Code Emission › AOT Compilation Case Studies ›

Static Python, Cinder, and CPython's Copy-and-Patch JIT

Meta's typed Python subset that can be AOT-aware, the Cinder JIT, and CPython 3.13+'s experimental copy-and-patch JIT.
native-codegen aot May 18, 2026