Spaces:
Running
Running
| <html lang="en"> | |
| <head> | |
| <meta charset="utf-8"> | |
| <meta name="viewport" content="width=device-width, initial-scale=1"> | |
| <title>GPU Kernels and Hardware · SnapKitty</title> | |
| <meta name="description" content="CUDA kernels, synthesizable RTL accelerators, hardware operating systems and flight computers."> | |
| <link rel="preconnect" href="https://fonts.googleapis.com"><link rel="preconnect" href="https://fonts.gstatic.com" crossorigin><link href="https://fonts.googleapis.com/css2?family=Inter:wght@400;500;600;700&family=JetBrains+Mono:wght@500&display=swap" rel="stylesheet"> | |
| <link rel="stylesheet" href="style.css"> | |
| </head> | |
| <body> | |
| <header class="topbar"><a class="brand" href="https://huggingface.co/spaces/Snapkitty/README">🐈 SnapKitty</a><a class="back" href="https://huggingface.co/Snapkitty">All collections</a></header> | |
| <main class="wrap"> | |
| <section class="hero"> | |
| <div class="eyebrow">⚡ Collection</div> | |
| <h1>GPU Kernels and Hardware</h1> | |
| <p class="lede">CUDA kernels, synthesizable RTL accelerators, hardware operating systems and flight computers.</p> | |
| </section> | |
| <div class="toolbar"> | |
| <input id="q" type="search" placeholder="Search 16 repositories" aria-label="Search repositories"> | |
| <div class="chips"><button class="chip" data-mode="all" aria-pressed="true">All</button><button class="chip" data-mode="new" aria-pressed="false">New</button><button class="chip" data-mode="model" aria-pressed="false">Models</button><button class="chip" data-mode="dataset" aria-pressed="false">Datasets</button></div> | |
| <span id="count" class="count"></span> | |
| </div> | |
| <section class="grid"> | |
| <article class="card" data-kind="model" data-new="true" data-search="bit-string-accelerator synthesizable systemverilog accelerator for deterministic 64-bit-word bit addressing, fpga and asic ready. systemverilog model epl-2.0"> | |
| <div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">epl-2.0</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/bit-string-accelerator">bit-string-accelerator</a></h3> | |
| <p>Synthesizable SystemVerilog accelerator for deterministic 64-bit-word bit addressing, FPGA and ASIC ready.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">systemverilog</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/bit-string-accelerator">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYAGENT9NOVA/bit-string-accelerator">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="true" data-search="flash-attention-rtl flashattention systolic-array rtl with a subleq / phi-born deterministic attention toolchain. systemverilog nim python model gpl-3.0"> | |
| <div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">GPL-3.0</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/flash-attention-rtl">flash-attention-rtl</a></h3> | |
| <p>FlashAttention systolic-array RTL with a SUBLEQ / phi-Born deterministic attention toolchain.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">systemverilog</span><span class="tag">nim</span><span class="tag">python</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/flash-attention-rtl">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYAGENT9NOVA/flash-attention-rtl">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="true" data-search="phaser-ags hardware operating system for risc-v rv32im and arm cortex-a8: bootloader, kernel, drivers and shell. zig assembly chisel model agpl-3.0"> | |
| <div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/phaser-ags">phaser-ags</a></h3> | |
| <p>Hardware operating system for RISC-V RV32IM and ARM Cortex-A8: bootloader, kernel, drivers and shell.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">zig</span><span class="tag">assembly</span><span class="tag">chisel</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/phaser-ags">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYAGENT9NOVA/phaser-ags">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="true" data-search="rust-opencl-gpu composable boolean gpu kernels in rust over opencl. rust opencl model snapkitty hw"> | |
| <div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">SnapKitty HW</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/rust-opencl-gpu">rust-opencl-gpu</a></h3> | |
| <p>Composable Boolean GPU kernels in Rust over OpenCL.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">rust</span><span class="tag">opencl</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/rust-opencl-gpu">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYAGENT9NOVA/rust-opencl-gpu">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="assembly-bite assembly language primitives for sovereign execution with verified instruction sequences. asm model tri-license"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/assembly-bite">assembly-bite</a></h3> | |
| <p>Assembly language primitives for sovereign execution with verified instruction sequences.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">asm</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/assembly-bite">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/assembly-bite">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="grisp-shadow-fleet grisp embedded hardware fleet with shadow execution and sovereign attestation. erlang model sovereign source"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Sovereign Source</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/grisp-shadow-fleet">grisp-shadow-fleet</a></h3> | |
| <p>GRiSP embedded hardware fleet with shadow execution and sovereign attestation.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">erlang</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/grisp-shadow-fleet">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/grisp-shadow-fleet">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="hilbert hilbert-4b architecture spec with cuda kernels (rmsnorm, flashattn, swiglu, rope). ampere gpus, gguf export. cuda python c++ model tri-license"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/hilbert">hilbert</a></h3> | |
| <p>Hilbert-4B architecture spec with CUDA kernels (RMSNorm, FlashAttn, SwiGLU, RoPE). Ampere GPUs, GGUF export.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">cuda</span><span class="tag">python</span><span class="tag">c++</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/hilbert">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/hilbert">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="nvidia-stack nvidia gpu computing stack integration with cuda, ptx, and kernel optimization tooling. cuda ptx model bsl-1.1"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">BSL-1.1</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/nvidia-stack">nvidia-stack</a></h3> | |
| <p>NVIDIA GPU computing stack integration with CUDA, PTX, and kernel optimization tooling.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">cuda</span><span class="tag">ptx</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/nvidia-stack">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/nvidia-stack">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="dataset" data-new="false" data-search="orbital-one browser spacecraft simulator and headless flight-model sdk. javascript dataset agpl-3.0"> | |
| <div class="card-top"><span class="badge kind">dataset</span><span class="badge lic">AGPL-3.0</span></div> | |
| <h3><a href="https://huggingface.co/datasets/Snapkitty/orbital-one">orbital-one</a></h3> | |
| <p>Browser spacecraft simulator and headless flight-model SDK.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">javascript</span></div><div class="links"><a class="link" href="https://huggingface.co/datasets/Snapkitty/orbital-one">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/orbital-one">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="snapkitty-twin-mars-asm x86_64 assembly reconstruction of twin-mars agent. direct syscalls, no libc dependencies. x86_64 asm model tri-license"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/snapkitty-twin-mars-asm">snapkitty-twin-mars-asm</a></h3> | |
| <p>x86_64 assembly reconstruction of TWIN-MARS agent. Direct syscalls, no libc dependencies.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">x86_64 asm</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/snapkitty-twin-mars-asm">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/snapkitty-twin-mars-asm">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="sovereign-ada-rtx complete deterministic processor in pure ada. 21 packages, rtx tensor engine, formal assertions, lovelace design. ada model sovereign source"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Sovereign Source</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/sovereign-ada-rtx">sovereign-ada-rtx</a></h3> | |
| <p>Complete deterministic processor in pure Ada. 21 packages, RTX tensor engine, formal assertions, Lovelace design.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">ada</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/sovereign-ada-rtx">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/sovereign-ada-rtx">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="sovereign-agc apollo guidance computer rebuilt in 7 languages. ada spark verification, idris 2 proofs, lean 4 zero-sorry. ada idris2 lean4 fortran model sovereign source"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Sovereign Source</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/sovereign-agc">sovereign-agc</a></h3> | |
| <p>Apollo Guidance Computer rebuilt in 7 languages. Ada SPARK verification, Idris 2 proofs, Lean 4 zero-sorry.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">ada</span><span class="tag">idris2</span><span class="tag">lean4</span><span class="tag">fortran</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/sovereign-agc">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/sovereign-agc">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="sovereign-apollo apollo guidance computer rebuilt by 7 ai systems with formal verification and quantum ignition circuits. ada fortran python model sovereign source"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Sovereign Source</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/sovereign-apollo">sovereign-apollo</a></h3> | |
| <p>Apollo Guidance Computer rebuilt by 7 AI systems with formal verification and quantum ignition circuits.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">ada</span><span class="tag">fortran</span><span class="tag">python</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/sovereign-apollo">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/sovereign-apollo">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="sovereign-doorbell zero-variance hardware trigger for ortho-32-t deterministic fabric. x86_64 assembly, smmu shadow architecture. asm verilog model tri-license"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/sovereign-doorbell">sovereign-doorbell</a></h3> | |
| <p>Zero-variance hardware trigger for ORTHO-32-T deterministic fabric. x86_64 assembly, SMMU shadow architecture.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">asm</span><span class="tag">verilog</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/sovereign-doorbell">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/sovereign-doorbell">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="sovereign-hypervisor-sdk public api for arm64 el2 hypervisor, ortho-32-t chip fabric, formally verified agi kernel. c arm64 model tri-license"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/sovereign-hypervisor-sdk">sovereign-hypervisor-sdk</a></h3> | |
| <p>Public API for ARM64 EL2 hypervisor, ORTHO-32-T chip fabric, formally verified AGI kernel.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">c</span><span class="tag">arm64</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/sovereign-hypervisor-sdk">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/sovereign-hypervisor-sdk">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="virtual-pe-machine virtual processing-element machine: a systolic-array simulator. python model agpl-3.0"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/virtual-pe-machine">virtual-pe-machine</a></h3> | |
| <p>Virtual processing-element machine: a systolic-array simulator.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">python</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/virtual-pe-machine">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/virtual-pe-machine">GitHub</a></div></div> | |
| </article> | |
| </section> | |
| <section class="commercial"> | |
| <div> | |
| <h2>Commercial license</h2> | |
| <p>SnapKitty code is free and open under AGPL-3.0 for open-source use. Building a commercial product or service? A proprietary commercial license from Snapkitty Collective LLC lets you ship SnapKitty code without the AGPL's source-sharing and network-use obligations.</p> | |
| </div> | |
| <a class="btn" href="mailto:A.parr@belespritdaccord.uk?subject=SnapKitty%20commercial%20license">Get a commercial license</a> | |
| </section> | |
| </main> | |
| <footer class="footer"> | |
| <span>© 2026 Snapkitty Collective LLC</span> | |
| <span><a href="https://huggingface.co/Snapkitty">huggingface.co/Snapkitty</a> · <a href="mailto:A.parr@belespritdaccord.uk">A.parr@belespritdaccord.uk</a></span> | |
| </footer> | |
| <script> | |
| (() => { | |
| const q = document.getElementById('q'), chips = [...document.querySelectorAll('.chip')], cards = [...document.querySelectorAll('.card')]; | |
| const count = document.getElementById('count'); let mode = 'all'; | |
| function apply() { | |
| const term = (q.value || '').trim().toLowerCase(); let n = 0; | |
| for (const c of cards) { | |
| const okMode = mode === 'all' || (mode === 'new' ? c.dataset.new === 'true' : c.dataset.kind === mode); | |
| const ok = okMode && (!term || c.dataset.search.includes(term)); | |
| c.hidden = !ok; if (ok) n++; | |
| } | |
| count.textContent = n + (n === 1 ? ' repository' : ' repositories'); | |
| } | |
| q.addEventListener('input', apply); | |
| chips.forEach(ch => ch.addEventListener('click', () => { chips.forEach(x => x.setAttribute('aria-pressed', 'false')); ch.setAttribute('aria-pressed', 'true'); mode = ch.dataset.mode; apply(); })); | |
| apply(); | |
| })(); | |
| </script> | |
| </body> | |
| </html> | |