sebawild / nearly-optimal-mergesort-code
Code for experiments with nearly optimally adaptive mergesort variants peeksort and powersort
☆12Updated 5 years ago
Related projects: ⓘ
- Encyclopedia of Combinatorial Structures☆11Updated 6 years ago
- C++ implementations of Powersort and 4-way Powersort☆11Updated 2 weeks ago
- HyperLogLogLog: Counting Distinct Elements With One Log More☆18Updated 2 years ago
- Accompanying code for https://orlp.net/blog/bitwise-binary-search/.☆12Updated last year
- A Rust implementation of interval arithmetic (IEEE 1788)☆31Updated 3 weeks ago
- A strongly-typed, compiled dialect of Python.☆12Updated 7 months ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆46Updated last year
- A near-optimal exact sampler for discrete probability distributions☆51Updated 6 months ago
- A new lossless data compression algorithm☆11Updated last year
- Generate random critical Galton-Watson trees and display their free trees in a force-directed layout☆13Updated 8 months ago
- Convergence verification of the Collatz problem☆60Updated 6 months ago
- metamath proof enumerators and other things☆86Updated last month
- ☆75Updated last year
- ☆56Updated this week
- Dynamic Score-Decomposed Tries which more efficiently solve the prefix autocomplete problem☆21Updated 10 months ago
- 🔶 Compressed bitvector/container supporting efficient random access and rank queries☆40Updated 2 weeks ago
- Supplementary material to "Euclidean Affine Functions and their Application to Calendar Algorithms"☆37Updated 9 months ago
- Semantic analysis framework☆14Updated 2 years ago
- My unofficial picat http://picat-lang.org/ repository☆26Updated 8 months ago
- SIMDized check which bytes are in a set☆27Updated 5 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆80Updated 10 months ago
- A neat, object-oriented, lightweight, elegant and fast programming language 👾☆47Updated last month
- SetSketch: Filling the Gap between MinHash and HyperLogLog☆48Updated 3 years ago
- Rust implementations of succinct data structures☆43Updated this week
- Visualization of the surreal number tree.☆11Updated 2 years ago
- Edit by Example - automated file editing just from given examples.☆15Updated 2 years ago
- LZ Double factor Factorization.☆11Updated 7 years ago
- A solver for halting problem of Brainfuck programs☆15Updated 4 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆26Updated last week
- Collecting papers for stringologist.☆14Updated 3 weeks ago