A retargetable and extensible synthesis-based compiler for modern hardware architectures
dsl
high-performance
llvm
formal-semantics
program-synthesis
halide
compilers
vectorization
formal-verification
compiler-construction
mlir
isa-semantics
retargetability
instruction-selection
automlir
-
Updated
Nov 11, 2024 - LLVM