Similar repositories to hivert/math-comp: