Hacker News new | ask | show | jobs
by nicce 59 days ago
Also it seems to be just bindings for Zlib? The repo says "Lean 4 bindings for zlib compression, plus tar and ZIP archive support."