Repository navigation

faster gzip_io, using the new extlib IO.as_buffered interface - #76

Draft

c-cube wants to merge 3 commits into

sc/faster-gzip-io

Draft

faster gzip_io, using the new extlib IO.as_buffered interface#76
c-cube wants to merge 3 commits into
masterfrom
sc/faster-gzip-io

Commits on Oct 29, 2026
- add gzip_io.mli
  c-cube
  committed
  d6010a5
- gzip_io: use new IO.as_buffered to optimize decoding
  c-cube
  committed
  9cd8762
- tests and benchmarks
  c-cube
  committed
  f570400