stablesort
by pi8027
Stable sort algorithms and their stability proofs in Coq
AI summary
Sorting library
Provides a modular and canonical way to prove the correctness of stable sorting algorithms in Coq.
- stars
- 22
- forks
- 1
- watching
- 2
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Sorting algorithm
A C++ implementation of TimSort, an O(n log n) stable sorting algorithm.
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
Randomized algorithms reasoner
A library for reasoning about randomized algorithms in Coq
Sorting library
A C++14 header-only sorting library providing a flexible and generic way to implement various sorting algorithms
swenson/sort464
Sorting library
A comprehensive C sorting library providing various stable and unstable algorithms with generic implementations
Algebra library
A Coq library providing algebraic data structures and algorithms
Sorting algorithm
An efficient sorting algorithm with O(n log n) complexity.
Relation algebra library
A collection of lemmas and tactics about lists and binary relations for a proof assistant
Parser combinator library
A Coq library that provides a total parser combinator library with support for building parsers and grammars in the language of Coq.
scandum/quadsort2.1K
Sorter
A branchless stable adaptive mergesort algorithm with minimal comparisons and optimal performance on ordered data
Proof automation library
A Coq library demonstrating design patterns for automated proof automation and canonical structures
Symmetric functions library
An algebraic combinatorics library formalized in Coq, providing a comprehensive set of functions and theories for symmetric functions.
Hash filter library
A verified hash-based approximate membership structure library in Coq
Sorting library
A library that allows gradients to be propagated through sorting operations, enabling differentiable sorting networks.
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions stablesort.
