An implementation of one of my algorithms for equidimensional decomposition is available in v0.8.0 of AlgebraicSolving.jl.