see also the index (by topic, by tool, by reference, by year)
Sorting Algorithms
Examples involving a sorting algorithm
- Algorithm 64 (quicksort)
- Binary Sort
- Bubble sort
- Dijkstra's national flag
- Gnome Sort
- Hillel challenge
- I can't believe it can sort
- Insertion Sort, C version
- Insertion sort (arrays)
- Insertion sort (lists)
- Mergesort (arrays)
- Mergesort (lists)
- Mergesort (queues)
- Pancake sorting
- Quicksort (arrays)
- Selection Sort, C version
- Selection Sort, Java version
- Selection sort (arrays)
- VerifyThis 2017: Odd-even transposition sort
- VerifyThis 2017: Odd-even transposition sort (alt)
- VerifyThis 2017: Pair Insertion Sort
- VerifyThis 2019: GHC sort
- VerifyThis 2021: Shearsort
- VerifyThis 2021: Shearsort (modified)
- VerifyThis @ FM 2012, problem 1
see also the index (by topic, by tool, by reference, by year)