Live repository counts

README.md

@@ -14,7 +14,7 @@ short_description: Deterministic systems, verified end to end
 **Deterministic systems, verified end to end.**
 Alternative attention · SUBLEQ · integer computing · formal proofs · the hardware to run them.
 
-`153 models` · `11 datasets` · `12 spaces` · `20+ languages`
+`153 models` · `12 datasets` · `11 spaces` · `20+ languages`
 
 **Upstream contributors to [Agda](https://github.com/agda/agda)** (dependently typed proof assistant) **and [LiquidHaskell](https://github.com/ucsd-progsys/liquidhaskell)** (refinement types for Haskell, from the UC San Diego Programming Systems group).
 

hub.html

@@ -17,8 +17,8 @@
     <p class="lede">Alternative attention, SUBLEQ, integer computing, formal proofs and the hardware to run them, built in the open.</p>
     <div class="stats">
       <div><b>153</b><span>models</span></div>
-      <div><b>11</b><span>datasets</span></div>
-      <div><b>12</b><span>spaces</span></div>
+      <div><b>12</b><span>datasets</span></div>
+      <div><b>11</b><span>spaces</span></div>
       <div><b>20+</b><span>languages</span></div>
     </div>
   </section>