CBMC
miniz

Folder miniz

miniz/ contains a minimal ZIP compression library.