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 Macaulay2 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.