Snapkitty Collective LLC

company

AI & ML interests

Alternative Attention · SUBLEQ · Resonance Words · Integer Computing · Deterministic AI · Algorithmic Routing · DAG Computing

Recent Activity

SNAPKITTYWEST updated a model 11 days ago

Snapkitty/llm-twin-arena

SNAPKITTYWEST updated a model 11 days ago

Snapkitty/sov-kernel-monster

SNAPKITTYWEST updated a model 11 days ago

Snapkitty/agentscope-sift

View all activity

SNAPKITTYWEST

updated 4 models 11 days ago

updated a Space 11 days ago

Compilers and Runtimes

⚙

Compilers, VMs, emulators and languages

SNAPKITTYWEST

updated a model 11 days ago

Snapkitty/cobalt-transformer-twin

Updated 11 days ago

SNAPKITTYWEST

updated a Space 11 days ago

Infrastructure and Tools

🔧

MCP servers, IDEs, browsers and dev tools

SNAPKITTYWEST

updated a model 11 days ago

Snapkitty/hyperkitty-chromium

Updated 11 days ago

SNAPKITTYWEST

updated 2 Spaces 11 days ago

Formal Verification

✅

Lean 4, Agda and cross-language proofs

GPU Kernels and Hardware

⚡

CUDA kernels, RTL accelerators and embedded OS

SNAPKITTYWEST

updated 4 models 11 days ago

Snapkitty/icp-dag-crystallizer

Updated 11 days ago

Snapkitty/sparse-router-formal

Updated 11 days ago

Snapkitty/Intent-V

Updated 11 days ago

Snapkitty/ai-free

Updated 11 days ago

SNAPKITTYWEST

updated a Space 11 days ago

Snapkitty

🐈

Deterministic systems, verified end to end

SNAPKITTYWEST

updated 3 models 11 days ago

Snapkitty/cpsc-qft

Updated 11 days ago

Snapkitty/symbolic-morphology

Updated 11 days ago

Snapkitty/snapkitty-nemotron-harness

Updated 11 days ago

SNAPKITTYWEST

updated 2 datasets 11 days ago

Snapkitty/devflow-finance-twin

Updated 11 days ago • 270

Snapkitty/toolgate-bench

Viewer • Updated 11 days ago • 96 • 114 • 1

AI & ML interests

Recent Activity

Team members 6

Snapkitty's activity

Compilers and Runtimes

Infrastructure and Tools

Formal Verification

GPU Kernels and Hardware

Snapkitty