Interesting timing - same day MSFT releases https://microsoft.github.io/Magma/