FreeCAD like some other CAD software uses Open CASCADE. As far as I can see, this kernel is the best available but still a bit rough and unstable in many areas. (Operations like chamfering often lead to a segfault when it doesn't like your geometry.) The main problem seems to be a lack of manpower since development of such a software is a massive effort and takes decades of work of highly skilled mathematicians/engineers/programmers. So far, FreeCAD has made a lot of functionality easily accessible but often it is also held back by bugs in the modeling kernel that can't be fixed any time soon.
If we could boost the development of high quality geometric modeling kernels, we could provide an essential building block to many software projects that currently are just not happening because there is no feasible way to get them started.