~/bend-docscommunity

bend-kit-http2@0.1.1.0 checks

0xd41d074c90469a15eca58dd6df15d1c8

RFC 7541 HPACK header blocks with a bounded dynamic table.

bend-kit-http2@0.1.1.0 by paymog

Other versions (3)
Published
2026-09-27
Size
61,176 bytes, 3 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 143 defs, 11 types

Import

import bend-kit-http2@0.1.1.0/hpack.bend as Hpack
import 0xd41d074c90469a15eca58dd6df15d1c8/hpack.bend as Hpack
import bend-kit-http2@0.1.1.0/http2.bend as Http2
import 0xd41d074c90469a15eca58dd6df15d1c8/http2.bend as Http2
import bend-kit-http2@0.1.1.0/huffman.bend as Huffman
import 0xd41d074c90469a15eca58dd6df15d1c8/huffman.bend as Huffman

Modules

Dependencies

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
hpack.bendchecks ALL PROOFS CHECK4.4 s
http2.bendchecks ALL PROOFS CHECK4.5 s
huffman.bendchecks ALL PROOFS CHECK4.4 s