Reduce.jl External Packages's repositories
ReduceAlgebra.jl
Meta-package for Reduce.jl and External Packages
ReduceLinAlg.jl
A selection of functions that are useful in the world of linear algebra
ReduceREPL.jl
Minimized version of the Reduce.jl package to only provide its REPL interface