Quarkus, Micronaut, Helidon are all the big players. Quarkus has the most market share and is quite enjoyable to work with.