A huge number library for Purescript with emphasis on correctness. - View it on GitHub