A sort wrapper enabling both use of random-access sorting on non-random access containers, and increased performance for the sorting of large types.
- sort
- sorting
Repository Index
47,133 repositories indexed
49–51 of 51 · Most stars
Topological sort lib,Sorting and pruning of DAG graphs.
- dag
- topological
- topological-sort
- prune
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm