Snapkitty/gpu-kernels

1---2title: GPU Kernels and Hardware3emoji: ⚡4colorFrom: purple5colorTo: indigo6sdk: static7pinned: false8short_description: CUDA kernels, RTL accelerators and embedded OS9license: agpl-3.010tags:11- snapkitty12---13 14# ⚡ GPU Kernels and Hardware15 16CUDA kernels, synthesizable RTL accelerators, hardware operating systems and flight computers.17 18**16 repositories** · [Browse the interactive page](https://huggingface.co/spaces/Snapkitty/gpu-kernels) · [SnapKitty home](https://huggingface.co/Snapkitty)19 20| Repository | What it is |21|---|---|22| [bit-string-accelerator](https://huggingface.co/Snapkitty/bit-string-accelerator) | Synthesizable SystemVerilog accelerator for deterministic 64-bit-word bit addressing, FPGA and ASIC ready. |23| [flash-attention-rtl](https://huggingface.co/Snapkitty/flash-attention-rtl) | FlashAttention systolic-array RTL with a SUBLEQ / phi-Born deterministic attention toolchain. |24| [phaser-ags](https://huggingface.co/Snapkitty/phaser-ags) | Hardware operating system for RISC-V RV32IM and ARM Cortex-A8: bootloader, kernel, drivers and shell. |25| [rust-opencl-gpu](https://huggingface.co/Snapkitty/rust-opencl-gpu) | Composable Boolean GPU kernels in Rust over OpenCL. |26| [assembly-bite](https://huggingface.co/Snapkitty/assembly-bite) | Assembly language primitives for sovereign execution with verified instruction sequences. |27| [grisp-shadow-fleet](https://huggingface.co/Snapkitty/grisp-shadow-fleet) | GRiSP embedded hardware fleet with shadow execution and sovereign attestation. |28| [hilbert](https://huggingface.co/Snapkitty/hilbert) | Hilbert-4B architecture spec with CUDA kernels (RMSNorm, FlashAttn, SwiGLU, RoPE). Ampere GPUs, GGUF export. |29| [nvidia-stack](https://huggingface.co/Snapkitty/nvidia-stack) | NVIDIA GPU computing stack integration with CUDA, PTX, and kernel optimization tooling. |30| [orbital-one](https://huggingface.co/datasets/Snapkitty/orbital-one) | Browser spacecraft simulator and headless flight-model SDK. |31| [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. |32| [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. |33| [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. |34| [sovereign-apollo](https://huggingface.co/Snapkitty/sovereign-apollo) | Apollo Guidance Computer rebuilt by 7 AI systems with formal verification and quantum ignition circuits. |35| [sovereign-doorbell](https://huggingface.co/Snapkitty/sovereign-doorbell) | Zero-variance hardware trigger for ORTHO-32-T deterministic fabric. x86_64 assembly, SMMU shadow architecture. |36| [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. |37| [virtual-pe-machine](https://huggingface.co/Snapkitty/virtual-pe-machine) | Virtual processing-element machine: a systolic-array simulator. |38 39## License40 41Licensed under **AGPL-3.0**. Full text: [LICENSE](LICENSE). Each listed repository carries its own license in its card.42 43### 💼 Commercial License44 45SnapKitty 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.46 47**[→ Get a commercial license](mailto:A.parr@belespritdaccord.uk?subject=SnapKitty%20commercial%20license)** · A.parr@belespritdaccord.uk48