The msolve library
File interfaces to msolve
Julia
Maple
Maple (on MacOS)
Sage