How does this compare to https://encore.dev/ or other infrastructure-inside-application-code solutions?

Conceptually similar, maybe other opinions baked in.

encore focusses on TypeScript and Python. Stelvio is a solution for Python.