manifolds (hackage): Coordinate-free hypersurfaces as Haskell types
Keywords: gpl|library|math|haskell|mathematics|numerical-calculations|topology