Hugging Face's logo
Snapkitty 's Collections
Research and Papers
Training Frameworks and Tooling
GPU Kernels and Hardware
Formal Verification and Proofs
Agent Systems and Orchestration
Sovereign Models and GGUFs

GPU Kernels and Hardware

CUDA kernels for Ampere GPUs, bare-metal processors in Ada, Apollo Guidance Computers in 7 languages, and embedded fleet hardware.