0x39d81662 relies on unsafe/foreign

0x39d8166231e68361eb37e8bef9287b8a

bend_tensors: dense linear algebra with shapes in the types.

Anonymous package: import it by hash.

Published

2026-09-23

Size

110,285 bytes, 12 files

License

MIT (LICENSE)

Declarations

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

Import

import 0x39d8166231e68361eb37e8bef9287b8a/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

• LICENSE 1,105 bytes
• 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