Spaces:
Running
Running
Commit History
26 days ago
-
Overview: updated license badges
Verified signature950976e -
Link the flagship releases collection; invite feedback
Verified signature1cb0df6
28 days ago
-
Add PIRTM to the overview
Verified signature26e86f5
29 days ago
-
Overview: flag repositories affected by SNAPKITTY-SA-2026-001
Verified signature232d69b -
Add Zenodo DOI 10.5281/zenodo.23287576
Verified signature5efc46c -
Redesign overview: featured paper, research highlights, collections, searchable catalogue of all 193 repositories
Verified signature7716b78 -
New for researchers: CPSC φ⁴ lattice compilation paper
Verified signaturea8337a5 -
October 2026 drop: add 27 repositories, refresh counts, commercial license note
Verified signatureeda09a6
-
Org card: symbolic-morphology independently reproduced
Verified signature06c348a -
Add symbolic-morphology
Verified signature6d7c5cd -
Org card: evidence link now points to master
Verified signature9b075f3 -
Org card: new releases for researchers (Hilbert GGUF, ToolGate-Bench, harness v0.3.0)
Verified signaturefef6388 -
License badges: AGPL-3.0 relicense
Verified signature4e93025 -
Add Hilbert 4B baseline GGUF
Verified signaturedcdc9dc -
Live repository counts
Verified signature1d942d0 -
Live repository counts
Verified signaturebdf057c -
Refresh listings: ToolGate-Bench, updated descriptions
Verified signaturef7fecd3 -
GGUF section, NVIDIA license badges, mobile layout fix
Verified signaturea3c8763 -
Org card and hub: upstream contributions to Agda and LiquidHaskell
Verified signature3415e9a -
Org card: render markdown card; hub page served from hub.html
Verified signature4008eae