~/bend-docscommunity

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

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
main.bendchecks ALL PROOFS CHECK3.4 s
mp3.bendchecks ALL PROOFS CHECK2.9 s
mp3_dec.bendchecks ALL PROOFS CHECK1.9 s
mp3_enc.bendchecks ALL PROOFS CHECK1.5 s
mp3_syn.bendchecks ALL PROOFS CHECK2.0 s
mp3_tab.bendchecks ALL PROOFS CHECK1.3 s
wav.bendchecks ALL PROOFS CHECK1.2 s