0x9137a47f checks
0x9137a47f23b329cb0d636ed271d4bfb2
ezaudio: audio for Bend 2, reading and writing WAV (RIFF PCM) and MP3 (MPEG-1 Layer III).
Anonymous package: import it by hash.
- Published
- 2026-09-30
- Size
- 279,789 bytes, 7 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 963 defs, 72 types
Import
import 0x9137a47f23b329cb0d636ed271d4bfb2/main.bend as Main import 0x9137a47f23b329cb0d636ed271d4bfb2/mp3.bend as Mp3 import 0x9137a47f23b329cb0d636ed271d4bfb2/mp3_dec.bend as Mp3_dec import 0x9137a47f23b329cb0d636ed271d4bfb2/mp3_enc.bend as Mp3_enc import 0x9137a47f23b329cb0d636ed271d4bfb2/mp3_syn.bend as Mp3_syn import 0x9137a47f23b329cb0d636ed271d4bfb2/mp3_tab.bend as Mp3_tab import 0x9137a47f23b329cb0d636ed271d4bfb2/wav.bend as Wav
Modules
- main.bend 37 declarations — ezaudio: audio for Bend 2, reading and writing WAV (RIFF PCM) and MP3 (MPEG-1 Layer III).
- mp3.bend 103 declarations — MPEG-1 Layer III (ISO/IEC 11172-3). Mono and stereo. Layer I and II are rejected.
- mp3_dec.bend 184 declarations — MPEG-1 Layer III decoder. Long blocks, no bit reservoir. Layer I and II never reach here.
- mp3_enc.bend 296 declarations — MPEG-1 Layer III encoder: analysis filterbank, MDCT, quantiser, Huffman.
- mp3_syn.bend 331 declarations — MPEG-1 Layer III synthesis: antialias, IMDCT-36, sign flip, DCT-II, polyphase.
- mp3_tab.bend 82 declarations
- wav.bend 75 declarations — RIFF WAVE. PCM is little-endian signed 16-bit. Float is IEEE binary32.
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.4 s |
| mp3.bend | checks | ALL PROOFS CHECK | 2.9 s |
| mp3_dec.bend | checks | ALL PROOFS CHECK | 1.9 s |
| mp3_enc.bend | checks | ALL PROOFS CHECK | 1.5 s |
| mp3_syn.bend | checks | ALL PROOFS CHECK | 2.0 s |
| mp3_tab.bend | checks | ALL PROOFS CHECK | 1.3 s |
| wav.bend | checks | ALL PROOFS CHECK | 1.2 s |