Sorting algorithms implemented in a few languages