blob: 36b9390045d7e590ed405fa4e8f1bc9ea85b44ed (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
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.
|
