CGAL (Computational Geometry Algorithms Library) is an open-source software project that provides high-quality, efficient, and robust geometric algorithms in a C++ library. It is widely recognized for its use of exact predicates and constructions to ensure numerical stability in complex geometric computations.