The corner cases are hard, but the basics shouldn't be. I'd normally expect several basic ones and a few good professional ones. But that's not what we see...
We have OpenCASCADE, GCAL and Solvespace. The later two are missing quite a few features relative to OpenCASCADE. Then there is Parasolid, ACIS, and whatever they call the kernel in CATIA. There are a few around. But perhaps there aren't that many ideas for innovative features for people who are interested in the area to create something new.