0x83c5c81f checks
0x83c5c81fb41f55ca634bdc7bde39a51b
ezimg: images for Bend 2, with PNG and baseline JPEG decode and encode
Anonymous package: import it by hash.
- Published
- 2026-09-25
- Size
- 231,652 bytes, 6 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 755 defs, 41 types
Import
import 0x83c5c81fb41f55ca634bdc7bde39a51b/main.bend as Main import 0x83c5c81fb41f55ca634bdc7bde39a51b/src/crc.bend as Crc import 0x83c5c81fb41f55ca634bdc7bde39a51b/src/inflate.bend as Inflate import 0x83c5c81fb41f55ca634bdc7bde39a51b/src/jpeg.bend as Jpeg import 0x83c5c81fb41f55ca634bdc7bde39a51b/src/jpeg_enc.bend as Jpeg_enc import 0x83c5c81fb41f55ca634bdc7bde39a51b/src/png.bend as Png
Modules
- main.bend 48 declarations — ezimg: images for Bend 2, with PNG and baseline JPEG decode and encode
- src/crc.bend 5 declarations — src/crc: CRC-32. PNG covers the chunk type and the chunk data with the
- src/inflate.bend 137 declarations — src/inflate: zlib-wrapped DEFLATE for a PNG IDAT stream (compression
- src/jpeg.bend 247 declarations — src/jpeg: baseline JPEG. Sequential 8-bit Huffman (SOF0), JFIF APP0, grayscale or YCbCr.
- src/jpeg_enc.bend 241 declarations — src/jpeg_enc: baseline JPEG encode. Sequential 8-bit Huffman (SOF0) and JFIF APP0.
- src/png.bend 195 declarations — src/png: PNG decode and encode (ISO/IEC 15948 / W3C PNG). Chunks, IHDR,
Dependencies
No imports from other hub packages.
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| main.bend | checks | ALL PROOFS CHECK | 3.8 s |
| src/crc.bend | checks | ALL PROOFS CHECK | 0.8 s |
| src/inflate.bend | checks | ALL PROOFS CHECK | 0.9 s |
| src/jpeg.bend | checks | ALL PROOFS CHECK | 2.7 s |
| src/jpeg_enc.bend | checks | ALL PROOFS CHECK | 2.8 s |
| src/png.bend | checks | ALL PROOFS CHECK | 1.1 s |