$ ls -l ~/projects

~/projects

Software I build, with the code, the evidence, and the parts that still need work.

$cat ~/projects/bend-ml/README.md

bend-ml

Machine learning in Bend. Tensor shapes live in the types; structural guarantees are checked by the kernel.

packages
5 on BendHub
demos
MNIST · GPT-2
checks
kernel · PyTorch

an error caught by the types

A2 × 3
B4 × 5

SOME PROOFS FAIL

expected  Mat<3n, 5n>
observed  Mat<4n, 5n>
bend-ml42c8aea
$cat ~/projects/llama-bend/README.md

llama.bend

Llama-architecture models running in Bend, built on bend-ml. Typed weights, a checked cache, and generation compared with PyTorch.

models
135M · 360M · 1.7B
runtime
CPU · greedy
package
bend-ml-llama

an error caught by the types

q576 × 576
k192 × 576

SOME PROOFS FAIL

expected  Bands<576n, 576n>
observed  Bands<192n, 576n>
llama.benda04268a