The zip.plt library in PLaneT has functionality for both unzipping an entire ZIP file or extracting individual entries. The above example unzips the entire contents of archive.zip to the output subdirectory of the current directory.
Here is an example that extracts a particular entry and saves it elsewhere:
To extract an individual entry from a ZIP file, you first read its central directory with read-zip-directory, and then you extract the entry with unzip-entry. (Notice that entry names are specified with byte strings.)
See the PLaneT repository documentation for more information on the zip.plt library.