#

verified-kernels

Here is 1 public repository matching this topic...

SNAPKITTYWEST / pax-coder

ADR-governed security with integrity/authorization separation

security cuda formal-verification ampere architecture-decision-records futhark model-training ptx gpu-kernels tensor-cores proof-carrying-code lean4 qlora deepseek-coder sovereign-compute pax-coder verified-kernels

Updated Aug 23, 2026
Python

Add this topic to your repo

To associate your repository with the verified-kernels topic, visit your repo's landing page and select "manage topics."