Pinned Loading

1. Past-the-Natural-Boundary-Three-Continuations-of-a-Mock-Theta-Radial-Limit-the-Grip-on-Gamma Past-the-Natural-Boundary-Three-Continuations-of-a-Mock-Theta-Radial-Limit-the-Grip-on-Gamma Public

   Machine-verified core of a mock theta continuation framework: Frobenius identity, inversion duality, integer coefficients, moment recurrence. Lean 4 / Mathlib, no sorry.

   TeX

2. A-Polynomial-Certificate-for-Sha-14a1- A-Polynomial-Certificate-for-Sha-14a1- Public

   We present a machine-checked proof that the Tate--Shafarevich group of the elliptic curve $14a1$ (Cremona label) has order $|\Sha(14a1)|=1$. The proof is derived entirely from the deviation polynom…

   TeX

3. 125bit-z5-topological-error-suppression 125bit-z5-topological-error-suppression Public

   Z5 Topological Error Suppression: Statistical behavior of a deep toroidal circuit executed beyond coherence limits on IBM Quantum hardware

   OpenQASM 1

4. Havoc_c2_v8_Diamond_is_UnBreakable Havoc_c2_v8_Diamond_is_UnBreakable Public

   patched fork of havoc upgraded to V 0.8 Diamond is UnBreakable

   Go 1

5. handrolled-AES-in-c-and-cpp handrolled-AES-in-c-and-cpp Public

   C 1

6. Stardust Stardust Public

   Forked from Cracked5pider/Stardust

   A modern 32/64-bit position independent implant template

   C