Pinned Loading

1. ADSC ADSC Public

   Open evidence package for installer-type active debris removal — Kessler-precursor removal: equip massive derelicts with passive deorbit kits instead of towing them or chasing fragments. C++17 GNC …

   C++ 3

2. schwarzschild-raytracer schwarzschild-raytracer Public

   今は亡きFable5が作ったなんかブラックホールっぽい物が見えるツール。なんと中に向かって落下もできる。

   HTML 2 1

3. fourteen-points-six-colors fourteen-points-six-colors Public

   A 14-vertex 6-chromatic distance graph in the Euclidean plane (prescribed distances 1, 1/sqrt3, 2) with clique number 4 - plus a proof that this distance system admits no K5 at all. Human-readable …

   TeX

4. Corgi-Butt-Clicker Corgi-Butt-Clicker Public

   🐕🍑 ぷにぷに！コーギーのおしりを連打して「ぷに」を集めるクッキークリッカー風ブラウザゲーム

   HTML

5. astra-blackhole astra-blackhole Public

   Python

6. theorygate theorygate Public

   TheoryGate was used as a reproducible claim-audit layer to track formal, symbolic, numerical, and robustness obligations. A passed gate indicates satisfaction of the explicitly encoded checks at th…

   Python