~/bend-docscommunity

bend-kit-zlib@0.1.3.0 relies on unsafe/foreign

0x9d101c075b333e2b07242347f7c35b1c

DEFLATE, gzip, and zlib encoding and decoding (RFC 1951, 1952, 1950) over byte strings, plus gzip, zstd, and brotli through the C libraries. Source: https://github.com/paymog/bend-kit/tree/main/zlib

bend-kit-zlib@0.1.3.0 by paymog

Other versions (7)
Published
2026-09-27
Size
60,499 bytes, 3 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 197 defs, 13 types

Import

import bend-kit-zlib@0.1.3.0/zlib.bend as Zlib
import 0x9d101c075b333e2b07242347f7c35b1c/zlib.bend as Zlib

Modules

Other files

Dependencies

No imports from other hub packages.

Dependents

Status on bend 2.0.36

FileStatusChecker saysTime
zlib.bendrelies on unsafe/foreign 4 defs rely on unsafe or foreign code
defs: zstd.words, inflate.words, gzip.words, brotli.words
output
SOME PROOFS FAIL
Error: 4 defs rely on unsafe or foreign code:
- zstd.words
- inflate.words
- gzip.words
- brotli.words
0.8 s