---
title: GPU Kernels and Hardware
emoji: ⚡
colorFrom: purple
colorTo: indigo
sdk: static
pinned: false
short_description: CUDA kernels, RTL accelerators and embedded OS
license: agpl-3.0
tags:
- snapkitty
---

# ⚡ GPU Kernels and Hardware

CUDA kernels, synthesizable RTL accelerators, hardware operating systems and flight computers.

**16 repositories** · [Browse the interactive page](https://huggingface.co/spaces/Snapkitty/gpu-kernels) · [SnapKitty home](https://huggingface.co/Snapkitty)

| Repository | What it is |
|---|---|
| [bit-string-accelerator](https://huggingface.co/Snapkitty/bit-string-accelerator) | Synthesizable SystemVerilog accelerator for deterministic 64-bit-word bit addressing, FPGA and ASIC ready. |
| [flash-attention-rtl](https://huggingface.co/Snapkitty/flash-attention-rtl) | FlashAttention systolic-array RTL with a SUBLEQ / phi-Born deterministic attention toolchain. |
| [phaser-ags](https://huggingface.co/Snapkitty/phaser-ags) | Hardware operating system for RISC-V RV32IM and ARM Cortex-A8: bootloader, kernel, drivers and shell. |
| [rust-opencl-gpu](https://huggingface.co/Snapkitty/rust-opencl-gpu) | Composable Boolean GPU kernels in Rust over OpenCL. |
| [assembly-bite](https://huggingface.co/Snapkitty/assembly-bite) | Assembly language primitives for sovereign execution with verified instruction sequences. |
| [grisp-shadow-fleet](https://huggingface.co/Snapkitty/grisp-shadow-fleet) | GRiSP embedded hardware fleet with shadow execution and sovereign attestation. |
| [hilbert](https://huggingface.co/Snapkitty/hilbert) | Hilbert-4B architecture spec with CUDA kernels (RMSNorm, FlashAttn, SwiGLU, RoPE). Ampere GPUs, GGUF export. |
| [nvidia-stack](https://huggingface.co/Snapkitty/nvidia-stack) | NVIDIA GPU computing stack integration with CUDA, PTX, and kernel optimization tooling. |
| [orbital-one](https://huggingface.co/datasets/Snapkitty/orbital-one) | Browser spacecraft simulator and headless flight-model SDK. |
| [snapkitty-twin-mars-asm](https://huggingface.co/Snapkitty/snapkitty-twin-mars-asm) | x86_64 assembly reconstruction of TWIN-MARS agent. Direct syscalls, no libc dependencies. |
| [sovereign-ada-rtx](https://huggingface.co/Snapkitty/sovereign-ada-rtx) | Complete deterministic processor in pure Ada. 21 packages, RTX tensor engine, formal assertions, Lovelace design. |
| [sovereign-agc](https://huggingface.co/Snapkitty/sovereign-agc) | Apollo Guidance Computer rebuilt in 7 languages. Ada SPARK verification, Idris 2 proofs, Lean 4 zero-sorry. |
| [sovereign-apollo](https://huggingface.co/Snapkitty/sovereign-apollo) | Apollo Guidance Computer rebuilt by 7 AI systems with formal verification and quantum ignition circuits. |
| [sovereign-doorbell](https://huggingface.co/Snapkitty/sovereign-doorbell) | Zero-variance hardware trigger for ORTHO-32-T deterministic fabric. x86_64 assembly, SMMU shadow architecture. |
| [sovereign-hypervisor-sdk](https://huggingface.co/Snapkitty/sovereign-hypervisor-sdk) | Public API for ARM64 EL2 hypervisor, ORTHO-32-T chip fabric, formally verified AGI kernel. |
| [virtual-pe-machine](https://huggingface.co/Snapkitty/virtual-pe-machine) | Virtual processing-element machine: a systolic-array simulator. |

## License

Licensed under **AGPL-3.0**. Full text: [LICENSE](LICENSE). Each listed repository carries its own license in its card.

### 💼 Commercial License

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.

**[→ Get a commercial license](mailto:A.parr@belespritdaccord.uk?subject=SnapKitty%20commercial%20license)** · A.parr@belespritdaccord.uk