verificarlo
TurboPFor
verificarlo | TurboPFor | |
---|---|---|
1 | 8 | |
61 | 744 | |
- | - | |
4.7 | 8.5 | |
11 days ago | 3 months ago | |
C | C | |
GNU General Public License v3.0 or later | GNU General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
verificarlo
-
C library for multiple-precision floating-point arithmetic with correct rounding
At the risk of just talking to myself, I'll note that a google scholar search on the [1] above led me to this phd [2] which in turn led me to two newer tools, Verrou [3] and Verificarlo [4] which involve Valgrind and Docker, respectively, though I'd have to understand what exactly is being contained by Docker for Verrou. But it makes me appreciate more the minimalist approach of Knizia et al. in [1], which does involve recompilation of modified assembly, but that's something I'm doing multiple times with student code already.
[2] https://tel.archives-ouvertes.fr/tel-03110553/document
[3] https://github.com/edf-hpc/verrou
[4] https://github.com/verificarlo/verificarlo
TurboPFor
- Show HN: Time Series Benchmark TurboPFor,TurboFloat,TurboFloat LzX,TurboGorilla
-
Show HN: HN:The Gorilla in the Room:Exploring RedisTimeSeries Optimizations
[4] https://github.com/powturbo/TurboPFor-Integer-Compression/is...
-
Float Compression 9: Lzsse and Lizard
The bytedelta described in the blog is suboptimal and does might not work with other datasets.
Download icapp from https://github.com/powturbo/TurboPFor-Integer-Compression/re... and make your own tests with your data.
[1] https://github.com/powturbo/TurboPFor-Integer-Compression
- Show HN: 1D/2D/3D Lossless/Lossy Floating Point Compression with TurboPFor
-
How do Games manage NPC schedules?
I use a fake database paired with compressed bits for flags and integer compression for various other traits. They follow a navigation guide similar to wind for foliage.
-
Quantile Compression: 35% higher compression ratio for numeric sequences than any other compressor
It could be nice to see a comparison against https://github.com/powturbo/TurboPFor-Integer-Compression !
-
q_compress 0.7: still has 35% higher compression ratio than .zstd.parquet for numerical sequences, now with delta encoding and 2x faster than before
I'm the author of TurboPFor-Integer-Compression. Q_compress is a very interresting project, unfortunatelly it's difficult to compare it to other algorithms. There is not binary or test data files (with q_compress results) available for a simple benchmark. Speed comparison would also be helpfull.
-
C Deep
TurboPFor - Fastest integer compression. GPL-2.0-or-later
What are some alternatives?
sleef - SIMD Library for Evaluating Elementary Functions, vectorized libm and DFT
x3-rust - X3 Lossless Audio Compression for Rust
verrou - floating-point errors checker
libuv - Cross-platform asynchronous I/O
vpu-count - Information about AVX-512 support on recent Intel processors
42_CheatSheet - A comprehensive guide to 50 years of evolution of strict C programming, a tribute to Dennis Ritchie's language
CRoaring - Roaring bitmaps in C (and C++), with SIMD (AVX2, AVX-512 and NEON) optimizations: used by Apache Doris, ClickHouse, and StarRocks
MessagePack - MessagePack serializer implementation for Java / msgpack.org[Java]
encoding - Integer Compression Libraries for Go
Allegro - The official Allegro 5 git repository. Pull requests welcome!
libvips - A fast image processing library with low memory needs.
ans-large-alphabet - Large-Alphabet Semi-Static Entropy Coding Via Asymmetric Numeral Systems