# Currently Developed Software

# Other Software

CRlibm: a Library of Elementary Functions with Correct Rounding (Currently maintained by Florent Dupont de Dinechin) |

FLIP: a Floating-point Library for Integer Processors |

FloPoCo: a generator of operators for FPGAs (Currently maintained by Florent Dupont de Dinechin) |

LinBox: a C++ library for exact, high-performance linear algebra computation |

MPFI: a library for arbitrary precision interval arithmetic |

Sipe: a library for very low precision computations with correct rounding |