mikeurbach wrote: Nice! As someone who has worked on a Python eDSL in CIRCT, I think this would be useful to have upstream. I will take a look at the implementation. https://github.com/llvm/llvm-project/pull/69644