MLIR dialect for numerical relativity that transposes symbolic expressions into a custom dialect, then lowers to optimized LLVM IR. - View it on GitHub