Is there interest in an integration with magma?
This seems to be a great fit with TVM and could potentially allow TVM to be used in scientific applications outside of its current domain. There is significant overlap also and potentially TVM would be a better implementation language than what they chose.