Also in this space is Moonbit[1] and Vera[2]. A performance comparison between them, across multiple factors, would be interesting because I have no idea of the pros and cons of each.

[1] https://www.moonbitlang.com/

[2] https://veralang.dev/