A course on advanced data structures by Jeff Erickson.
The Egerváry Research Group on Combinatorial Optimization.
Jean-Christophe Filliâtre's softwares and libraries.
