There is also the one from Microsoft themselves, although it supports only a subset.

https://www.microsoft.com/en-us/research/publication/static-...

Used in Make Code,

https://www.microsoft.com/en-us/research/project/microsoft-m...