cecde38036
djbsort is a software library for sorting arrays of integers. It provides the following features: - Speed: djbsort holds new speed records for in-memory sorting. - Security: djbsort is designed to be safe for cryptographic contexts. - Verification: djbsort includes tools to automatically verify correctness. These features are not separate options: there is a single sorting function that is simultaneously fast, secure, and verified. Packaged for wip by schmonz@
11 lines
440 B
Text
11 lines
440 B
Text
djbsort is a software library for sorting arrays of integers. It
|
|
provides the following features:
|
|
|
|
- Speed: djbsort holds new speed records for in-memory sorting.
|
|
|
|
- Security: djbsort is designed to be safe for cryptographic contexts.
|
|
|
|
- Verification: djbsort includes tools to automatically verify correctness.
|
|
|
|
These features are not separate options: there is a single sorting
|
|
function that is simultaneously fast, secure, and verified.
|