BinPack est un projet académique et technique dédié à l'étude et à la résolution du problème classique de bin packing, un problème d'optimisation combinatoire NP-difficile. Il explore les propriétés des problèmes NP, les réductions polynomiales entre problèmes algorithmiques, et propose des implémentations pour valider ces concepts théoriques. Le projet sert de support pédagogique pour comprendre les liens entre complexité algorithmique, certificats de solutions et réductions entre problèmes.

PyGCO est une bibliothèque Python dédiée à l'optimisation par coupes de graphe (graph cuts). Elle permet de résoudre des problèmes de segmentation d'images, de réduction de bruit ou de calcul d'énergie dans des modèles graphiques. Basée sur la bibliothèque GCO de Olga Veksler, elle offre des outils pour manipuler des graphes et appliquer des algorithmes d'optimisation comme l'expansion ou le swap.