Spaces:
Running
Running
Refresh listings: ToolGate-Bench, updated descriptions
Browse files
README.md
CHANGED
|
@@ -55,7 +55,7 @@ ollama run hf.co/Snapkitty/snapkitty-merged:Q4_K_M
|
|
| 55 |
| Collection | Focus | Repos |
|
| 56 |
|---|---|---:|
|
| 57 |
| π§ [Models and Training](https://huggingface.co/spaces/Snapkitty/models-and-training) | Language models, checkpoints and training stacks | 16 |
|
| 58 |
-
| π€ [Agents and Orchestration](https://huggingface.co/spaces/Snapkitty/agents-and-orchestration) | Multi-agent systems and orchestration engines |
|
| 59 |
| β
[Formal Verification](https://huggingface.co/spaces/Snapkitty/formal-verification) | Lean 4, Agda and cross-language proofs | 19 |
|
| 60 |
| β‘ [GPU Kernels and Hardware](https://huggingface.co/spaces/Snapkitty/gpu-kernels) | CUDA kernels, RTL accelerators and embedded OS | 16 |
|
| 61 |
| π¬ [Quantum Computing and Physics](https://huggingface.co/spaces/Snapkitty/quantum-computing) | Quantum walks, TLM/JXCL and physics engines | 13 |
|
|
|
|
| 55 |
| Collection | Focus | Repos |
|
| 56 |
|---|---|---:|
|
| 57 |
| π§ [Models and Training](https://huggingface.co/spaces/Snapkitty/models-and-training) | Language models, checkpoints and training stacks | 16 |
|
| 58 |
+
| π€ [Agents and Orchestration](https://huggingface.co/spaces/Snapkitty/agents-and-orchestration) | Multi-agent systems and orchestration engines | 26 |
|
| 59 |
| β
[Formal Verification](https://huggingface.co/spaces/Snapkitty/formal-verification) | Lean 4, Agda and cross-language proofs | 19 |
|
| 60 |
| β‘ [GPU Kernels and Hardware](https://huggingface.co/spaces/Snapkitty/gpu-kernels) | CUDA kernels, RTL accelerators and embedded OS | 16 |
|
| 61 |
| π¬ [Quantum Computing and Physics](https://huggingface.co/spaces/Snapkitty/quantum-computing) | Quantum walks, TLM/JXCL and physics engines | 13 |
|
hub.html
CHANGED
|
@@ -106,7 +106,7 @@
|
|
| 106 |
<span class="tile-emoji">π§ </span><span class="tile-title">Models and Training</span><span class="tile-sub">Language models, checkpoints and training stacks</span><span class="tile-count">16 repositories</span>
|
| 107 |
</a>
|
| 108 |
<a class="tile" href="https://huggingface.co/spaces/Snapkitty/agents-and-orchestration">
|
| 109 |
-
<span class="tile-emoji">π€</span><span class="tile-title">Agents and Orchestration</span><span class="tile-sub">Multi-agent systems and orchestration engines</span><span class="tile-count">
|
| 110 |
</a>
|
| 111 |
<a class="tile" href="https://huggingface.co/spaces/Snapkitty/formal-verification">
|
| 112 |
<span class="tile-emoji">β
</span><span class="tile-title">Formal Verification</span><span class="tile-sub">Lean 4, Agda and cross-language proofs</span><span class="tile-count">19 repositories</span>
|
|
|
|
| 106 |
<span class="tile-emoji">π§ </span><span class="tile-title">Models and Training</span><span class="tile-sub">Language models, checkpoints and training stacks</span><span class="tile-count">16 repositories</span>
|
| 107 |
</a>
|
| 108 |
<a class="tile" href="https://huggingface.co/spaces/Snapkitty/agents-and-orchestration">
|
| 109 |
+
<span class="tile-emoji">π€</span><span class="tile-title">Agents and Orchestration</span><span class="tile-sub">Multi-agent systems and orchestration engines</span><span class="tile-count">26 repositories</span>
|
| 110 |
</a>
|
| 111 |
<a class="tile" href="https://huggingface.co/spaces/Snapkitty/formal-verification">
|
| 112 |
<span class="tile-emoji">β
</span><span class="tile-title">Formal Verification</span><span class="tile-sub">Lean 4, Agda and cross-language proofs</span><span class="tile-count">19 repositories</span>
|