The engine is the part of the program that is dedicated to performing the computation of Groebner bases with Buchberger's algorithm. It is coded directly in C++ for speed.
The Macaulay 2 engine provides fast polynomial and matrix operations, and Groebner bases, syzygies, Hilbert functions, resolutions and other operations that we feel need to be implemented directly for efficiency reasons.