I wonder if Hylang is still alive.
There's also Rhombus now: https://docs.racket-lang.org/rhombus-quick/index.html
There's also Rhombus now: https://docs.racket-lang.org/rhombus-quick/index.html