1. Correctly Rounded Math Library - 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.
2. Machine-efficient polynomials library - MEPLib is a library that automatically generates accurate and fast polynomial approximations for computers. Input constraints for MEPLib include: function, domain, degree/accuracy, size and formats, and possibly values of some coefficients.
Development Status
