~/bend-docscommunity

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

0x46b9429cbffa7a8c1111ce19c60a3d6a

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

bend-kit-random@0.1.0.1 by paymog

Earlier versions (1)
Published
2026-10-09
Size
6,545 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.1/random.bend as Random
import 0x46b9429cbffa7a8c1111ce19c60a3d6a/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.6 s