see also the index (by topic, by tool, by reference, by year)
Mário Pereira
https://mariojppereira.github.io
- Cursor examples
- Koda-Ruskey's algorithm
- Leftist heaps
- Pairing heaps
- Pairing heaps (variant)
- Proper cuts
- Schorr-Waite algorithm
- VerifyThis 2016: Strassen's Matrix Multiplication
- VerifyThis 2017: Odd-even transposition sort (alt)
see also the index (by topic, by tool, by reference, by year)