0x92882293 relies on unsafe/foreign

0x92882293385d0b92a8d4a4a676bbf076

bend_tensors: dense linear algebra with shapes in the types.

Anonymous package: import it by hash.

Published

2026-09-23

Size

109,180 bytes, 11 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

2 laws (2 proved), 292 defs, 12 types

Import

import 0x92882293385d0b92a8d4a4a676bbf076/bend_tensors.bend as Bend_tensors

Modules

• bend_tensors.bend 318 declarations, 2 laws — bend_tensors: dense linear algebra with shapes in the types.

Other files

• effs/flat_load.c 3,981 bytes
• effs/flat_load.js 1,088 bytes
• effs/sgemm.c 4,354 bytes
• effs/sgemm.js 925 bytes
• effs/sgemm_w.c 4,325 bytes
• effs/sgemm_w.js 1,014 bytes
• effs/weights_load.c 3,788 bytes
• effs/weights_load.js 1,029 bytes
• effs/weights_of_array.c 3,821 bytes
• effs/weights_of_array.js 963 bytes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 15 defs rely on unsafe or foreign code:
- Blas.sgemm
- Blas.sgemm_w
- Weights.load.eff
- Weights.of_array.eff
- Flat.load.eff
- Weights.load
- Flat.from_file
- Weights.of_flat
- Vec.from_file
- Flat.matmul.run
- Flat.matmul
- Flat.matmul_t
- Flat.matmul_w.run
- Flat.matmul_w
- Flat.matmul_wt