Solutions to UVa problems. Also contain few solutions to Spoj problems. Used this book Competitive Programming as guidance. Some programs(especially DP & greedy part) contain explanations on the correctness proof or recursive formulas used by the algorithm. Some of them are even the only proof in the whole Internet world.
My profile at UVa OJ: Yang Zhao.