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