| GAOL | | UN-EPFL | GNU LGPL3 | 10000 ( juin 2020 ) | GAOL est une bibliothèque C++ pour le calcul garanti et la résolution de contraintes sur les intervalles réels. |  |
| IBEX | | IMT-A | GNU LGPL3 | | IBEX est une bibliothèque C++ pour la conception d’algorithme ensembliste haut-niveau (outils de résolution). |  |
| FIRopt | | Inria- U.Fluda | GNU GPL v3 | | Un outil pour conception optimale de filtres FIR et leur
implantation FPGA. | |
| FPNGlib | | UN | GNU LGPL3 | | FPNGlib est une bibliothèque offrant de nombreuses possibilités de choix aléatoire de nombres en virgule flottante. | |
