Repo

SZL Holdings on GitHub

@stephenlutar2-hashby Stephen Lutar · SZL Holdings

0

129 public repositories: 100 active, plus 29 archived and kept read-only for provenance. They include receipt formats and offline verifiers (governed-receipt-spec, szl-receipt, szl-evidence-core), Lean 4 proofs (lutar-lean), benchmark harnesses (frontier-bench, retrieval-bench, quant-curve), Triton attention and KV-cache kernels, and the a11oy and killinchu products. Mostly Apache-2.0.

Built withPythonTypeScriptLean 4Tritonopen-sourceai-governancereceiptsbenchmarkskernels

See what other members are building and what each project is looking for.