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 |
![[Logo CNRS]](wp-content/uploads/2020/05/cnrs.svg)
![[Logo ENS de Lyon]](wp-content/uploads/2020/05/ensl.svg)
![[Logo Inria]](wp-content/uploads/2020/05/inria.svg)
![[Logo LIP]](wp-content/uploads/2020/05/lip.svg)
![[Logo UCB Lyon 1]](wp-content/uploads/2020/05/ucbl.svg)
![[Logo Université de Lyon]](wp-content/uploads/2020/05/udl.svg)
![[Logo Labex MILYON]](wp-content/uploads/2020/05/milyon.svg)
![[Logo Fédération Informatique de Lyon]](wp-content/uploads/2020/05/fil.svg)