GitHub repository: purescript-contrib/purescript-precise
Primary language: PureScript
Description: A huge number library for Purescript with emphasis on correctness.