Interesting timing - same day MSFT releases https://microsoft.github.io/Magma/
Current discussion: https://news.ycombinator.com/item?id=43110265