A newer, more optimized implementation of the F5 algorithm is available on my fork of AlgebraicSolving.jl.