Developments of the Arenaire team

All the programs are distributed in the hope that they will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. Unless specificaly noted, see the GNU General Public License version 2 for more details. Rights may be retained by authors or by other copyright holders.

Projects actively developed by Arenaire members

Software libraries

• Floating-point Library for Integer Processors (FLIP)
• Floating-point LLL (fplll)
• CR-Libm: a proven, portable and efficient correctly rounded math library.
• LinBox, High performance software for matrix computation
• MPFR++, C++ interface to MPFR
• MPFI, a multiple precision interval arithmetic library based on MPFR
• Machine-efficient polynomials library (MEPLib)

Hardware operators and tools for FPGAs and ASICs

• FloPoCo, a generator of Floating-Point Cores for FPGA
• HOTBM: A VHDL generator for function evaluation operators using the Higher-Order Table-Based Method (also integrated in FloPoCo)

Proofs and tools

• Sollya: an environment for safe floating-point code development,
• Gappa: a tool for computing and proving bounds on expressions and rounding errors,
• Metalibm, un générateur de code pour construire les bibliothèques mathématiques.

Older Arénaire developments

• SCSLib, a lightweight and fast extended-precision library
• FFLAS-FFPACK, finite field linear algebra subroutines/package
• The multipartite method for function evaluation, reference implementation in Java
• JBits FPGA cores (function evaluation using the multipartite method, constant multiplication)
• Divgen : a divider generator
• FPLibrary: A parameterized library for real arithmetic on FPGAs (Floating Point/Logarithm Number System)
• PFF: A Coq-Certified Library on Floating-Point Arithmetic.