The purpose of this project is to offer a mathematical library (libm) with proven, IEEE-754 compliant, correct rounding in the four rounding modes, and performances comparable to standard libms.

• Development Status: 4 - Beta
• License: GNU Lesser General Public License (LGPL)
• LIP research teams: Arénaire (computer arithmetic)
• Programming Language: C
• Topic: Mathematics, Operating System Kernels