~/bend-docscommunity

bend-kit-random@0.1.0.0 relies on unsafe/foreign

0x0fab7442f5a423ac9ee7dc17899842b0

Seeded pseudo-random numbers: xoshiro128**, unbiased ranges, floats and shuffles. Not for cryptography.

bend-kit-random@0.1.0.0 by paymog

Other versions (1)
Published
2026-09-27
Size
6,548 bytes, 3 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 25 defs, 1 types

Import

import bend-kit-random@0.1.0.0/random.bend as Random
import 0x0fab7442f5a423ac9ee7dc17899842b0/random.bend as Random

Modules

Other files

Dependencies

No imports from other hub packages.

Dependents

Status on bend 2.0.36

FileStatusChecker saysTime
random.bendrelies on unsafe/foreign 2 defs rely on unsafe or foreign code
defs: entropy, from_os
output
SOME PROOFS FAIL
Error: 2 defs rely on unsafe or foreign code:
- entropy
- from_os
0.7 s