A newer, more optimized implementation of the F5 algorithm is available as part of AlgebraicSolving.jl.