Carver is a set of functions for carving up objects into other objects, similar to using ProBooleans but different in that the results are parts broken up into convex pieces (provided that the original object is convex).
It also has a function to turn any Convex object into a hollow version of itself (similar to the results of the Shell modifier) except that the results are broken into convex pieces.