~/bend-docscommunity

bend-kit-http2@0.2.0.0 checks

0xc0a30c11b68a9aafb25795f94a58eba5

RFC 7541 HPACK header blocks with a bounded dynamic table.

bend-kit-http2@0.2.0.0 by paymog

Earlier versions (3)
Published
2026-10-09
Size
104,477 bytes, 3 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 244 defs, 19 types

Import

import bend-kit-http2@0.2.0.0/hpack.bend as Hpack
import 0xc0a30c11b68a9aafb25795f94a58eba5/hpack.bend as Hpack
import bend-kit-http2@0.2.0.0/http2.bend as Http2
import 0xc0a30c11b68a9aafb25795f94a58eba5/http2.bend as Http2
import bend-kit-http2@0.2.0.0/huffman.bend as Huffman
import 0xc0a30c11b68a9aafb25795f94a58eba5/huffman.bend as Huffman

Modules

Dependencies

Dependents

Status on bend 2.0.36

FileStatusChecker saysTime
hpack.bendchecks ALL PROOFS CHECK6.1 s
http2.bendchecks ALL PROOFS CHECK13.1 s
huffman.bendchecks ALL PROOFS CHECK4.5 s