Nantes Université
inum64 is an interval arithmetic library written in C, based on MPFR, with a C++ wrapper class.