GitHub repository: rubenvannieuwpoort/reals
Primary language: Python
Description: A lightweight python3 library for arithmetic with real numbers.