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