Software CRlibm: a Library of Elementary Functions with Correct Rounding FLIP: a Floating-point Library for Integer Processors FloPoCo: a generator of operators for FPGAs FPLLL: a Lattice Reduction Library HPLLL: linear algebra and basis reduction, GitHub repository (companion to FPLLL) Gfun: a Maple package for solutions of linear differential or recurrence equations GNU MPFR: a library for arbitrary precision floating-point arithmetic (in collaboration with the Caramba project-team) 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