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

0x58bd522479d133cfe1b2c4451fc1a28f

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.5.0 by paymog

Published

2026-09-27

Size

69,705 bytes, 3 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

0 laws (0 proved), 207 defs, 14 types

Import

import bend-kit-zlib@0.1.5.0/zlib.bend as Zlib
import 0x58bd522479d133cfe1b2c4451fc1a28f/zlib.bend as Zlib

Modules

• zlib.bend 241 declarations — 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

Other files

• effs/zlib.c 17,432 bytes
• effs/zlib.js 12,920 bytes

Dependencies

No imports from other hub packages.

Dependents

• bend-kit-http@0.25.0.1 via http.bend: import 0x58bd522479d133cfe1b2c4451fc1a28f/zlib.bend as Zlib
• bend-kit-http@0.25.0.0 via http.bend: import 0x58bd522479d133cfe1b2c4451fc1a28f/zlib.bend as Zlib
• bend-kit-http@0.24.3.1 via http.bend: import 0x58bd522479d133cfe1b2c4451fc1a28f/zlib.bend as Zlib
• bend-kit-http@0.24.3.0 via http.bend: import 0x58bd522479d133cfe1b2c4451fc1a28f/zlib.bend as Zlib
• bend-kit-http@0.24.2.0 via http.bend: import 0x58bd522479d133cfe1b2c4451fc1a28f/zlib.bend as Zlib
• bend-kit-http@0.24.1.0 via http.bend: import 0x58bd522479d133cfe1b2c4451fc1a28f/zlib.bend as Zlib
• bend-kit-http@0.24.0.0 via http.bend: import 0x58bd522479d133cfe1b2c4451fc1a28f/zlib.bend as Zlib
• bend-kit-http@0.23.0.1 via http.bend: import 0x58bd522479d133cfe1b2c4451fc1a28f/zlib.bend as Zlib
• bend-kit-http@0.23.0.0 via http.bend: import 0x58bd522479d133cfe1b2c4451fc1a28f/zlib.bend as Zlib
• bend-kit-http@0.22.0.0 via http.bend: import 0x58bd522479d133cfe1b2c4451fc1a28f/zlib.bend as Zlib
• bend-kit-http@0.21.1.0 via http.bend: import 0x58bd522479d133cfe1b2c4451fc1a28f/zlib.bend as Zlib
• bend-kit-http@0.21.0.0 via http.bend: import 0x58bd522479d133cfe1b2c4451fc1a28f/zlib.bend as Zlib
• bend-kit-http@0.20.1.0 via http.bend: import 0x58bd522479d133cfe1b2c4451fc1a28f/zlib.bend as Zlib
• bend-kit-http@0.20.0.0 via http.bend: import 0x58bd522479d133cfe1b2c4451fc1a28f/zlib.bend as Zlib
• bend-kit-http@0.19.1.0 via http.bend: import 0x58bd522479d133cfe1b2c4451fc1a28f/zlib.bend as Zlib
• bend-kit-http@0.19.0.0 via http.bend: import 0x58bd522479d133cfe1b2c4451fc1a28f/zlib.bend as Zlib

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 13 defs rely on unsafe or foreign code:
- zstd.words
- inflate.words
- gzip.words
- brotli.words
- dec.open
- dec.new
- inflate.new
- brotli.new
- zstd.new
- dec.feed
- dec.feed.words
- dec.finish.id
- dec.finish