A Haskell library for computer algebra, in particular Gröbner bases.
A Haskell library for the stable marriage problem.