You have two newish options nowadays

https://coalton-lang.github.io/20260424-mine/ and https://lem-project.github.io/