For Java, JOOQ is great and offers better type safety than this. Additionally, JOOQ generates data model classes from the DB schema.
What do you mean by "better type safety"?
Kysely's ecosystem has 2 codegen libraries:
kysely-codegen introspects the database directly.
prisma-kysely generates types based on Prisma schemas.