GitHub repository: BoostGSoC18/Real
Primary language: C++
Description: Boost numerical data type for real numbers representation