🐈 SnapKittyAll collections
⚡ Collection

GPU Kernels and Hardware

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

NewmodelApache-2.0

Intent-V

RV32IM-adjacent hardware/firmware sandbox: memory-mapped accelerator, bare-metal Zig driver and an analog sanity netlist.

NewmodelAGPL-3.0

phaser-ags

Hardware operating system for RISC-V RV32IM and ARM Cortex-A8: bootloader, kernel, drivers and shell.

zigassemblychisel
modelTri-License

hilbert

Hilbert-4B architecture spec with CUDA kernels (RMSNorm, FlashAttn, SwiGLU, RoPE). Ampere GPUs, GGUF export.

cudapythonc++
modelSovereign Source

sovereign-ada-rtx

Complete deterministic processor in pure Ada. 21 packages, RTX tensor engine, formal assertions, Lovelace design.

modelSovereign Source

sovereign-agc

Apollo Guidance Computer rebuilt in 7 languages. Ada SPARK verification, Idris 2 proofs, Lean 4 zero-sorry.

adaidris2lean4fortran
modelSovereign Source

sovereign-apollo

Apollo Guidance Computer rebuilt by 7 AI systems with formal verification and quantum ignition circuits.

adafortranpython

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