connections (hackage): A library for working with Galois connections on various common preorders.  See the README for an overview.
Keywords: bsd3|library|math|numerical|program