Equipe ogre
| Nom | Dépôt | Propriété | Licence | Description | Lien |
| GAOL | UN-EPFL | GNU LGPL | 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 LGPL | 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 LGPL | FPNGlib est une bibliothèque offrant de nombreuses possibilités de choix aléatoire de nombres en virgule flottante. | |
