Spaces:
Running
Running
Face-lift: unified clean design, refreshed repository listings
Browse files- README.md +31 -7
- index.html +153 -149
- style.css +139 -17
README.md
CHANGED
|
@@ -1,23 +1,47 @@
|
|
| 1 |
---
|
| 2 |
-
license: agpl-3.0
|
| 3 |
title: GPU Kernels and Hardware
|
| 4 |
emoji: ⚡
|
| 5 |
-
colorFrom:
|
| 6 |
-
colorTo:
|
| 7 |
sdk: static
|
| 8 |
pinned: false
|
|
|
|
|
|
|
| 9 |
tags:
|
| 10 |
- snapkitty
|
| 11 |
---
|
| 12 |
|
| 13 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 14 |
|
| 15 |
## License
|
| 16 |
|
| 17 |
-
Licensed under **AGPL-3.0**. Full text: [LICENSE](LICENSE).
|
| 18 |
|
| 19 |
### 💼 Commercial License
|
| 20 |
|
| 21 |
-
|
| 22 |
|
| 23 |
-
**[→ Get a commercial license](mailto:A.parr@belespritdaccord.uk?subject=
|
|
|
|
| 1 |
---
|
|
|
|
| 2 |
title: GPU Kernels and Hardware
|
| 3 |
emoji: ⚡
|
| 4 |
+
colorFrom: purple
|
| 5 |
+
colorTo: indigo
|
| 6 |
sdk: static
|
| 7 |
pinned: false
|
| 8 |
+
short_description: CUDA kernels, RTL accelerators and embedded OS
|
| 9 |
+
license: agpl-3.0
|
| 10 |
tags:
|
| 11 |
- snapkitty
|
| 12 |
---
|
| 13 |
|
| 14 |
+
# ⚡ GPU Kernels and Hardware
|
| 15 |
+
|
| 16 |
+
CUDA 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 |
## License
|
| 40 |
|
| 41 |
+
Licensed under **AGPL-3.0**. Full text: [LICENSE](LICENSE). Each listed repository carries its own license in its card.
|
| 42 |
|
| 43 |
### 💼 Commercial License
|
| 44 |
|
| 45 |
+
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.
|
| 46 |
|
| 47 |
+
**[→ Get a commercial license](mailto:A.parr@belespritdaccord.uk?subject=SnapKitty%20commercial%20license)** · A.parr@belespritdaccord.uk
|
index.html
CHANGED
|
@@ -1,149 +1,153 @@
|
|
| 1 |
-
<!
|
| 2 |
-
<html lang="en">
|
| 3 |
-
<head>
|
| 4 |
-
<meta charset="
|
| 5 |
-
<meta name="viewport" content="width=device-width, initial-scale=1
|
| 6 |
-
<title>GPU Kernels and Hardware
|
| 7 |
-
<
|
| 8 |
-
:
|
| 9 |
-
|
| 10 |
-
|
| 11 |
-
|
| 12 |
-
|
| 13 |
-
|
| 14 |
-
|
| 15 |
-
|
| 16 |
-
|
| 17 |
-
|
| 18 |
-
|
| 19 |
-
|
| 20 |
-
|
| 21 |
-
|
| 22 |
-
|
| 23 |
-
|
| 24 |
-
|
| 25 |
-
|
| 26 |
-
|
| 27 |
-
|
| 28 |
-
|
| 29 |
-
|
| 30 |
-
|
| 31 |
-
.
|
| 32 |
-
|
| 33 |
-
|
| 34 |
-
|
| 35 |
-
|
| 36 |
-
|
| 37 |
-
|
| 38 |
-
|
| 39 |
-
|
| 40 |
-
|
| 41 |
-
.
|
| 42 |
-
|
| 43 |
-
|
| 44 |
-
|
| 45 |
-
.
|
| 46 |
-
|
| 47 |
-
|
| 48 |
-
|
| 49 |
-
|
| 50 |
-
|
| 51 |
-
.
|
| 52 |
-
|
| 53 |
-
|
| 54 |
-
|
| 55 |
-
|
| 56 |
-
|
| 57 |
-
|
| 58 |
-
|
| 59 |
-
.
|
| 60 |
-
|
| 61 |
-
|
| 62 |
-
|
| 63 |
-
|
| 64 |
-
.
|
| 65 |
-
|
| 66 |
-
|
| 67 |
-
|
| 68 |
-
|
| 69 |
-
|
| 70 |
-
|
| 71 |
-
|
| 72 |
-
</
|
| 73 |
-
<
|
| 74 |
-
<
|
| 75 |
-
<
|
| 76 |
-
<
|
| 77 |
-
<
|
| 78 |
-
|
| 79 |
-
<
|
| 80 |
-
<div class="
|
| 81 |
-
<
|
| 82 |
-
|
| 83 |
-
|
| 84 |
-
|
| 85 |
-
|
| 86 |
-
|
| 87 |
-
|
| 88 |
-
|
| 89 |
-
|
| 90 |
-
|
| 91 |
-
|
| 92 |
-
|
| 93 |
-
|
| 94 |
-
|
| 95 |
-
|
| 96 |
-
|
| 97 |
-
|
| 98 |
-
|
| 99 |
-
|
| 100 |
-
|
| 101 |
-
|
| 102 |
-
|
| 103 |
-
|
| 104 |
-
|
| 105 |
-
|
| 106 |
-
|
| 107 |
-
|
| 108 |
-
|
| 109 |
-
|
| 110 |
-
|
| 111 |
-
|
| 112 |
-
|
| 113 |
-
|
| 114 |
-
|
| 115 |
-
|
| 116 |
-
|
| 117 |
-
|
| 118 |
-
|
| 119 |
-
|
| 120 |
-
|
| 121 |
-
|
| 122 |
-
|
| 123 |
-
|
| 124 |
-
<
|
| 125 |
-
|
| 126 |
-
|
| 127 |
-
|
| 128 |
-
|
| 129 |
-
|
| 130 |
-
|
| 131 |
-
|
| 132 |
-
|
| 133 |
-
|
| 134 |
-
|
| 135 |
-
|
| 136 |
-
|
| 137 |
-
|
| 138 |
-
|
| 139 |
-
|
| 140 |
-
|
| 141 |
-
|
| 142 |
-
|
| 143 |
-
|
| 144 |
-
|
| 145 |
-
|
| 146 |
-
|
| 147 |
-
|
| 148 |
-
|
| 149 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
<!doctype html>
|
| 2 |
+
<html lang="en">
|
| 3 |
+
<head>
|
| 4 |
+
<meta charset="utf-8">
|
| 5 |
+
<meta name="viewport" content="width=device-width, initial-scale=1">
|
| 6 |
+
<title>GPU Kernels and Hardware · SnapKitty</title>
|
| 7 |
+
<meta name="description" content="CUDA kernels, synthesizable RTL accelerators, hardware operating systems and flight computers.">
|
| 8 |
+
<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">
|
| 9 |
+
<link rel="stylesheet" href="style.css">
|
| 10 |
+
</head>
|
| 11 |
+
<body>
|
| 12 |
+
<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>
|
| 13 |
+
<main class="wrap">
|
| 14 |
+
<section class="hero">
|
| 15 |
+
<div class="eyebrow">⚡ Collection</div>
|
| 16 |
+
<h1>GPU Kernels and Hardware</h1>
|
| 17 |
+
<p class="lede">CUDA kernels, synthesizable RTL accelerators, hardware operating systems and flight computers.</p>
|
| 18 |
+
</section>
|
| 19 |
+
<div class="toolbar">
|
| 20 |
+
<input id="q" type="search" placeholder="Search 16 repositories" aria-label="Search repositories">
|
| 21 |
+
<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>
|
| 22 |
+
<span id="count" class="count"></span>
|
| 23 |
+
</div>
|
| 24 |
+
<section class="grid">
|
| 25 |
+
<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">
|
| 26 |
+
<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>
|
| 27 |
+
<h3><a href="https://huggingface.co/Snapkitty/bit-string-accelerator">bit-string-accelerator</a></h3>
|
| 28 |
+
<p>Synthesizable SystemVerilog accelerator for deterministic 64-bit-word bit addressing, FPGA and ASIC ready.</p>
|
| 29 |
+
<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>
|
| 30 |
+
</article>
|
| 31 |
+
<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">
|
| 32 |
+
<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>
|
| 33 |
+
<h3><a href="https://huggingface.co/Snapkitty/flash-attention-rtl">flash-attention-rtl</a></h3>
|
| 34 |
+
<p>FlashAttention systolic-array RTL with a SUBLEQ / phi-Born deterministic attention toolchain.</p>
|
| 35 |
+
<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>
|
| 36 |
+
</article>
|
| 37 |
+
<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">
|
| 38 |
+
<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>
|
| 39 |
+
<h3><a href="https://huggingface.co/Snapkitty/phaser-ags">phaser-ags</a></h3>
|
| 40 |
+
<p>Hardware operating system for RISC-V RV32IM and ARM Cortex-A8: bootloader, kernel, drivers and shell.</p>
|
| 41 |
+
<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>
|
| 42 |
+
</article>
|
| 43 |
+
<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">
|
| 44 |
+
<div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">SnapKitty HW</span></div>
|
| 45 |
+
<h3><a href="https://huggingface.co/Snapkitty/rust-opencl-gpu">rust-opencl-gpu</a></h3>
|
| 46 |
+
<p>Composable Boolean GPU kernels in Rust over OpenCL.</p>
|
| 47 |
+
<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>
|
| 48 |
+
</article>
|
| 49 |
+
<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">
|
| 50 |
+
<div class="card-top"><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div>
|
| 51 |
+
<h3><a href="https://huggingface.co/Snapkitty/assembly-bite">assembly-bite</a></h3>
|
| 52 |
+
<p>Assembly language primitives for sovereign execution with verified instruction sequences.</p>
|
| 53 |
+
<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>
|
| 54 |
+
</article>
|
| 55 |
+
<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">
|
| 56 |
+
<div class="card-top"><span class="badge kind">model</span><span class="badge lic">Sovereign Source</span></div>
|
| 57 |
+
<h3><a href="https://huggingface.co/Snapkitty/grisp-shadow-fleet">grisp-shadow-fleet</a></h3>
|
| 58 |
+
<p>GRiSP embedded hardware fleet with shadow execution and sovereign attestation.</p>
|
| 59 |
+
<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>
|
| 60 |
+
</article>
|
| 61 |
+
<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">
|
| 62 |
+
<div class="card-top"><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div>
|
| 63 |
+
<h3><a href="https://huggingface.co/Snapkitty/hilbert">hilbert</a></h3>
|
| 64 |
+
<p>Hilbert-4B architecture spec with CUDA kernels (RMSNorm, FlashAttn, SwiGLU, RoPE). Ampere GPUs, GGUF export.</p>
|
| 65 |
+
<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>
|
| 66 |
+
</article>
|
| 67 |
+
<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">
|
| 68 |
+
<div class="card-top"><span class="badge kind">model</span><span class="badge lic">BSL-1.1</span></div>
|
| 69 |
+
<h3><a href="https://huggingface.co/Snapkitty/nvidia-stack">nvidia-stack</a></h3>
|
| 70 |
+
<p>NVIDIA GPU computing stack integration with CUDA, PTX, and kernel optimization tooling.</p>
|
| 71 |
+
<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>
|
| 72 |
+
</article>
|
| 73 |
+
<article class="card" data-kind="dataset" data-new="false" data-search="orbital-one browser spacecraft simulator and headless flight-model sdk. javascript dataset mit">
|
| 74 |
+
<div class="card-top"><span class="badge kind">dataset</span><span class="badge lic">MIT</span></div>
|
| 75 |
+
<h3><a href="https://huggingface.co/datasets/Snapkitty/orbital-one">orbital-one</a></h3>
|
| 76 |
+
<p>Browser spacecraft simulator and headless flight-model SDK.</p>
|
| 77 |
+
<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>
|
| 78 |
+
</article>
|
| 79 |
+
<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">
|
| 80 |
+
<div class="card-top"><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div>
|
| 81 |
+
<h3><a href="https://huggingface.co/Snapkitty/snapkitty-twin-mars-asm">snapkitty-twin-mars-asm</a></h3>
|
| 82 |
+
<p>x86_64 assembly reconstruction of TWIN-MARS agent. Direct syscalls, no libc dependencies.</p>
|
| 83 |
+
<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>
|
| 84 |
+
</article>
|
| 85 |
+
<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">
|
| 86 |
+
<div class="card-top"><span class="badge kind">model</span><span class="badge lic">Sovereign Source</span></div>
|
| 87 |
+
<h3><a href="https://huggingface.co/Snapkitty/sovereign-ada-rtx">sovereign-ada-rtx</a></h3>
|
| 88 |
+
<p>Complete deterministic processor in pure Ada. 21 packages, RTX tensor engine, formal assertions, Lovelace design.</p>
|
| 89 |
+
<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>
|
| 90 |
+
</article>
|
| 91 |
+
<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">
|
| 92 |
+
<div class="card-top"><span class="badge kind">model</span><span class="badge lic">Sovereign Source</span></div>
|
| 93 |
+
<h3><a href="https://huggingface.co/Snapkitty/sovereign-agc">sovereign-agc</a></h3>
|
| 94 |
+
<p>Apollo Guidance Computer rebuilt in 7 languages. Ada SPARK verification, Idris 2 proofs, Lean 4 zero-sorry.</p>
|
| 95 |
+
<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>
|
| 96 |
+
</article>
|
| 97 |
+
<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">
|
| 98 |
+
<div class="card-top"><span class="badge kind">model</span><span class="badge lic">Sovereign Source</span></div>
|
| 99 |
+
<h3><a href="https://huggingface.co/Snapkitty/sovereign-apollo">sovereign-apollo</a></h3>
|
| 100 |
+
<p>Apollo Guidance Computer rebuilt by 7 AI systems with formal verification and quantum ignition circuits.</p>
|
| 101 |
+
<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>
|
| 102 |
+
</article>
|
| 103 |
+
<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">
|
| 104 |
+
<div class="card-top"><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div>
|
| 105 |
+
<h3><a href="https://huggingface.co/Snapkitty/sovereign-doorbell">sovereign-doorbell</a></h3>
|
| 106 |
+
<p>Zero-variance hardware trigger for ORTHO-32-T deterministic fabric. x86_64 assembly, SMMU shadow architecture.</p>
|
| 107 |
+
<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>
|
| 108 |
+
</article>
|
| 109 |
+
<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">
|
| 110 |
+
<div class="card-top"><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div>
|
| 111 |
+
<h3><a href="https://huggingface.co/Snapkitty/sovereign-hypervisor-sdk">sovereign-hypervisor-sdk</a></h3>
|
| 112 |
+
<p>Public API for ARM64 EL2 hypervisor, ORTHO-32-T chip fabric, formally verified AGI kernel.</p>
|
| 113 |
+
<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>
|
| 114 |
+
</article>
|
| 115 |
+
<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">
|
| 116 |
+
<div class="card-top"><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div>
|
| 117 |
+
<h3><a href="https://huggingface.co/Snapkitty/virtual-pe-machine">virtual-pe-machine</a></h3>
|
| 118 |
+
<p>Virtual processing-element machine: a systolic-array simulator.</p>
|
| 119 |
+
<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>
|
| 120 |
+
</article>
|
| 121 |
+
</section>
|
| 122 |
+
<section class="commercial">
|
| 123 |
+
<div>
|
| 124 |
+
<h2>Commercial license</h2>
|
| 125 |
+
<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>
|
| 126 |
+
</div>
|
| 127 |
+
<a class="btn" href="mailto:A.parr@belespritdaccord.uk?subject=SnapKitty%20commercial%20license">Get a commercial license</a>
|
| 128 |
+
</section>
|
| 129 |
+
</main>
|
| 130 |
+
<footer class="footer">
|
| 131 |
+
<span>© 2026 Snapkitty Collective LLC</span>
|
| 132 |
+
<span><a href="https://huggingface.co/Snapkitty">huggingface.co/Snapkitty</a> · <a href="mailto:A.parr@belespritdaccord.uk">A.parr@belespritdaccord.uk</a></span>
|
| 133 |
+
</footer>
|
| 134 |
+
<script>
|
| 135 |
+
(() => {
|
| 136 |
+
const q = document.getElementById('q'), chips = [...document.querySelectorAll('.chip')], cards = [...document.querySelectorAll('.card')];
|
| 137 |
+
const count = document.getElementById('count'); let mode = 'all';
|
| 138 |
+
function apply() {
|
| 139 |
+
const term = (q.value || '').trim().toLowerCase(); let n = 0;
|
| 140 |
+
for (const c of cards) {
|
| 141 |
+
const okMode = mode === 'all' || (mode === 'new' ? c.dataset.new === 'true' : c.dataset.kind === mode);
|
| 142 |
+
const ok = okMode && (!term || c.dataset.search.includes(term));
|
| 143 |
+
c.hidden = !ok; if (ok) n++;
|
| 144 |
+
}
|
| 145 |
+
count.textContent = n + (n === 1 ? ' repository' : ' repositories');
|
| 146 |
+
}
|
| 147 |
+
q.addEventListener('input', apply);
|
| 148 |
+
chips.forEach(ch => ch.addEventListener('click', () => { chips.forEach(x => x.setAttribute('aria-pressed', 'false')); ch.setAttribute('aria-pressed', 'true'); mode = ch.dataset.mode; apply(); }));
|
| 149 |
+
apply();
|
| 150 |
+
})();
|
| 151 |
+
</script>
|
| 152 |
+
</body>
|
| 153 |
+
</html>
|
style.css
CHANGED
|
@@ -1,28 +1,150 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
body {
|
| 2 |
-
|
| 3 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 4 |
}
|
|
|
|
|
|
|
|
|
|
| 5 |
|
| 6 |
-
|
| 7 |
-
|
| 8 |
-
|
|
|
|
|
|
|
| 9 |
}
|
|
|
|
|
|
|
|
|
|
| 10 |
|
| 11 |
-
|
| 12 |
-
|
| 13 |
-
|
| 14 |
-
|
| 15 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 16 |
}
|
|
|
|
|
|
|
| 17 |
|
|
|
|
| 18 |
.card {
|
| 19 |
-
|
| 20 |
-
|
| 21 |
-
|
| 22 |
-
|
| 23 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 24 |
}
|
|
|
|
|
|
|
| 25 |
|
| 26 |
-
|
| 27 |
-
|
|
|
|
|
|
|
| 28 |
}
|
|
|
|
| 1 |
+
:root {
|
| 2 |
+
--bg: #fafafa;
|
| 3 |
+
--surface: #ffffff;
|
| 4 |
+
--surface-2: #f4f4f5;
|
| 5 |
+
--border: #e4e4e7;
|
| 6 |
+
--text: #18181b;
|
| 7 |
+
--muted: #52525b;
|
| 8 |
+
--faint: #71717a;
|
| 9 |
+
--accent: #6d28d9;
|
| 10 |
+
--accent-soft: #ede9fe;
|
| 11 |
+
--new: #047857;
|
| 12 |
+
--new-soft: #d1fae5;
|
| 13 |
+
--shadow: 0 1px 2px rgba(24, 24, 27, .04), 0 4px 16px rgba(24, 24, 27, .04);
|
| 14 |
+
--radius: 14px;
|
| 15 |
+
color-scheme: light dark;
|
| 16 |
+
}
|
| 17 |
+
@media (prefers-color-scheme: dark) {
|
| 18 |
+
:root {
|
| 19 |
+
--bg: #0b0b0f;
|
| 20 |
+
--surface: #131318;
|
| 21 |
+
--surface-2: #1b1b22;
|
| 22 |
+
--border: #26262f;
|
| 23 |
+
--text: #f4f4f5;
|
| 24 |
+
--muted: #a1a1aa;
|
| 25 |
+
--faint: #8b8b95;
|
| 26 |
+
--accent: #a78bfa;
|
| 27 |
+
--accent-soft: rgba(167, 139, 250, .14);
|
| 28 |
+
--new: #34d399;
|
| 29 |
+
--new-soft: rgba(52, 211, 153, .14);
|
| 30 |
+
--shadow: none;
|
| 31 |
+
}
|
| 32 |
+
}
|
| 33 |
+
* { box-sizing: border-box; }
|
| 34 |
+
html { -webkit-text-size-adjust: 100%; }
|
| 35 |
body {
|
| 36 |
+
margin: 0;
|
| 37 |
+
background: var(--bg);
|
| 38 |
+
color: var(--text);
|
| 39 |
+
font: 15px/1.6 Inter, ui-sans-serif, system-ui, -apple-system, "Segoe UI", sans-serif;
|
| 40 |
+
-webkit-font-smoothing: antialiased;
|
| 41 |
+
}
|
| 42 |
+
a { color: inherit; }
|
| 43 |
+
.wrap { max-width: 1120px; margin: 0 auto; padding: 0 24px 56px; }
|
| 44 |
+
|
| 45 |
+
.topbar {
|
| 46 |
+
max-width: 1120px; margin: 0 auto; padding: 20px 24px;
|
| 47 |
+
display: flex; justify-content: space-between; align-items: center; gap: 16px;
|
| 48 |
}
|
| 49 |
+
.brand { font-weight: 700; text-decoration: none; letter-spacing: -.01em; }
|
| 50 |
+
.back { color: var(--muted); text-decoration: none; font-size: 14px; }
|
| 51 |
+
.back:hover { color: var(--text); }
|
| 52 |
|
| 53 |
+
.hero { padding: 40px 0 28px; }
|
| 54 |
+
.hero-hub { padding: 56px 0 40px; }
|
| 55 |
+
.eyebrow {
|
| 56 |
+
display: inline-block; font-size: 13px; font-weight: 600; color: var(--accent);
|
| 57 |
+
background: var(--accent-soft); padding: 4px 10px; border-radius: 999px;
|
| 58 |
}
|
| 59 |
+
h1 { font-size: clamp(30px, 5vw, 48px); line-height: 1.1; letter-spacing: -.03em; margin: 16px 0 12px; font-weight: 700; }
|
| 60 |
+
.lede { color: var(--muted); font-size: 17px; max-width: 680px; margin: 0; }
|
| 61 |
+
h2 { font-size: 20px; letter-spacing: -.01em; margin: 0; }
|
| 62 |
|
| 63 |
+
.stats { display: flex; flex-wrap: wrap; gap: 12px; margin-top: 28px; }
|
| 64 |
+
.stats div {
|
| 65 |
+
background: var(--surface); border: 1px solid var(--border); border-radius: 12px;
|
| 66 |
+
padding: 12px 18px; min-width: 120px; box-shadow: var(--shadow);
|
| 67 |
+
}
|
| 68 |
+
.stats b { display: block; font-size: 24px; letter-spacing: -.02em; }
|
| 69 |
+
.stats span { color: var(--faint); font-size: 13px; }
|
| 70 |
+
|
| 71 |
+
.section-head { display: flex; justify-content: space-between; align-items: baseline; margin: 40px 0 16px; gap: 12px; }
|
| 72 |
+
|
| 73 |
+
.toolbar { display: flex; flex-wrap: wrap; align-items: center; gap: 12px; margin-bottom: 20px; }
|
| 74 |
+
#q {
|
| 75 |
+
flex: 1 1 260px; min-width: 0; font: inherit; color: var(--text);
|
| 76 |
+
background: var(--surface); border: 1px solid var(--border); border-radius: 10px; padding: 10px 14px;
|
| 77 |
+
}
|
| 78 |
+
#q:focus { outline: 2px solid var(--accent); outline-offset: 1px; }
|
| 79 |
+
.chips { display: flex; flex-wrap: wrap; gap: 6px; }
|
| 80 |
+
.chip {
|
| 81 |
+
font: inherit; font-size: 13px; font-weight: 500; cursor: pointer; color: var(--muted);
|
| 82 |
+
background: var(--surface); border: 1px solid var(--border); border-radius: 999px; padding: 6px 12px;
|
| 83 |
}
|
| 84 |
+
.chip[aria-pressed="true"] { color: var(--accent); background: var(--accent-soft); border-color: transparent; }
|
| 85 |
+
.count { color: var(--faint); font-size: 13px; margin-left: auto; }
|
| 86 |
|
| 87 |
+
.grid { display: grid; grid-template-columns: repeat(auto-fill, minmax(300px, 1fr)); gap: 14px; }
|
| 88 |
.card {
|
| 89 |
+
display: flex; flex-direction: column; gap: 8px;
|
| 90 |
+
background: var(--surface); border: 1px solid var(--border); border-radius: var(--radius);
|
| 91 |
+
padding: 18px 18px 16px; box-shadow: var(--shadow); transition: border-color .15s, transform .15s;
|
| 92 |
+
}
|
| 93 |
+
.card:hover { border-color: var(--accent); transform: translateY(-1px); }
|
| 94 |
+
.card[hidden] { display: none; }
|
| 95 |
+
.card h3 { margin: 0; font-size: 16px; letter-spacing: -.01em; word-break: break-word; }
|
| 96 |
+
.card h3 a { text-decoration: none; }
|
| 97 |
+
.card h3 a:hover { color: var(--accent); }
|
| 98 |
+
.card p { margin: 0; color: var(--muted); font-size: 14px; flex: 1; }
|
| 99 |
+
.card-top { display: flex; flex-wrap: wrap; gap: 6px; }
|
| 100 |
+
.badge {
|
| 101 |
+
font-size: 11px; font-weight: 600; letter-spacing: .02em; text-transform: uppercase;
|
| 102 |
+
padding: 2px 8px; border-radius: 6px; background: var(--surface-2); color: var(--faint);
|
| 103 |
+
}
|
| 104 |
+
.badge.new { background: var(--new-soft); color: var(--new); }
|
| 105 |
+
.badge.lic { text-transform: none; }
|
| 106 |
+
.card-foot { display: flex; justify-content: space-between; align-items: center; gap: 10px; flex-wrap: wrap; margin-top: 4px; }
|
| 107 |
+
.tags { display: flex; flex-wrap: wrap; gap: 4px; }
|
| 108 |
+
.tag { font: 500 11px/1.6 "JetBrains Mono", ui-monospace, monospace; color: var(--faint); border: 1px solid var(--border); border-radius: 5px; padding: 0 6px; }
|
| 109 |
+
.links { display: flex; gap: 12px; }
|
| 110 |
+
.link { font-size: 13px; font-weight: 500; color: var(--accent); text-decoration: none; }
|
| 111 |
+
.link:hover { text-decoration: underline; }
|
| 112 |
+
|
| 113 |
+
.tiles { display: grid; grid-template-columns: repeat(auto-fill, minmax(240px, 1fr)); gap: 14px; }
|
| 114 |
+
.tile {
|
| 115 |
+
display: flex; flex-direction: column; gap: 4px; text-decoration: none;
|
| 116 |
+
background: var(--surface); border: 1px solid var(--border); border-radius: var(--radius);
|
| 117 |
+
padding: 18px; box-shadow: var(--shadow); transition: border-color .15s, transform .15s;
|
| 118 |
+
}
|
| 119 |
+
.tile:hover { border-color: var(--accent); transform: translateY(-1px); }
|
| 120 |
+
.tile-emoji { font-size: 22px; }
|
| 121 |
+
.tile-title { font-weight: 600; letter-spacing: -.01em; }
|
| 122 |
+
.tile-sub { color: var(--muted); font-size: 14px; }
|
| 123 |
+
.tile-count { color: var(--faint); font-size: 12px; margin-top: 6px; }
|
| 124 |
+
|
| 125 |
+
.commercial {
|
| 126 |
+
display: flex; justify-content: space-between; align-items: center; gap: 24px; flex-wrap: wrap;
|
| 127 |
+
margin-top: 48px; padding: 24px; border-radius: var(--radius);
|
| 128 |
+
background: var(--accent-soft); border: 1px solid var(--border);
|
| 129 |
+
}
|
| 130 |
+
.commercial > div { flex: 1 1 420px; }
|
| 131 |
+
.commercial p { color: var(--muted); margin: 8px 0 0; font-size: 14px; }
|
| 132 |
+
.btn {
|
| 133 |
+
display: inline-block; background: var(--accent); color: #fff; font-weight: 600; font-size: 14px;
|
| 134 |
+
text-decoration: none; padding: 11px 18px; border-radius: 10px; white-space: nowrap;
|
| 135 |
+
}
|
| 136 |
+
@media (prefers-color-scheme: dark) { .btn { color: #0b0b0f; } }
|
| 137 |
+
.btn:hover { filter: brightness(1.08); }
|
| 138 |
+
|
| 139 |
+
.footer {
|
| 140 |
+
max-width: 1120px; margin: 0 auto; padding: 24px; border-top: 1px solid var(--border);
|
| 141 |
+
display: flex; justify-content: space-between; flex-wrap: wrap; gap: 8px; color: var(--faint); font-size: 13px;
|
| 142 |
}
|
| 143 |
+
.footer a { color: var(--muted); text-decoration: none; }
|
| 144 |
+
.footer a:hover { color: var(--text); }
|
| 145 |
|
| 146 |
+
@media (max-width: 640px) {
|
| 147 |
+
.wrap, .topbar, .footer { padding-left: 16px; padding-right: 16px; }
|
| 148 |
+
.grid, .tiles { grid-template-columns: 1fr; }
|
| 149 |
+
.count { margin-left: 0; width: 100%; }
|
| 150 |
}
|