idris-qsort

★ 6 Open GitHub ↗

Verified Quicksort in Idris 2

Explore Similar Repositories

SortingAlgorithm.HayateShiki : Hayate-Shiki is an improved merge sort algorithm with the goal of "faster than quick sort".
benchmark-ordenacao : Benchmark simples para algoritmos de ordenação. Envolve conteúdo da disciplina EDA-2 da UnB/FGA
ChenSort : The world's fastest general purpose sorting algorithm, 60% faster than Quicksort
sorting-algos-visualizer : Visualization of common sorting algorithms: QuickSort, MergeSort, HeapSort, BubbleSort, InsertionSort
rust-lazysort : Iterate in a lazily achieved sorted order
// repository documentation