http://www.swox.com/gmp/#PROJECTS

[Michael Abshoff]

> Maude  (http://maude.cs.uiuc.edu) uses GMP too.
> Greetings,
> Rick

If you get a chance to update the webpage you might as well add the
CoCoALib (http://cocoa.dima.unige.it/) - which unlike its predecessor
(CoCoA 4.5) is gpled. CoCoA 4.5 is only free as in beer :(. We are
currently writing a replacement for CoCoA 4.5 that will be relased under
the gpl.

Cheers,

Michael