Popular repositories Loading

1. PMRC-IP-Core PMRC-IP-Core Public

   O(log k) Parallel FHE Conversion IP package featuring pipelined SystemVerilog RTL and Header-Only C++ Library. Designed to accelerate cryptographic pipelines by removing the sequential RNS bottleneck.

   SystemVerilog 3

2. OPN OPN Public

   A Formal Proof of the Non-Existence of Odd Perfect Numbers for Euler Primes p ≥ 5 via Structural Divisibility Constraints.

   Lean 2

3. Beal-Conjecture Beal-Conjecture Public

   The Beal Symmetry Collision: A Machine-Certified Solution via p-adic Valuations

   Lean 2

4. Happy-Numbers Happy-Numbers Public

   The Golden Ratio’s Footprint in Happy Number Sequences.

   HTML 2

5. Einstein-Quasicrystals Einstein-Quasicrystals Public

   A Lean 4 Certified Proof of 3D Aperiodic Monotiles by Triviality of the Projection Kernel.

   C++ 2

6. Riemann-Minimal-Entropy-Collapse Riemann-Minimal-Entropy-Collapse Public

   A Topological Proof by Contradiction of Non-Trivial Zeros via Spectral Rigidity in Lean 4 & Comparator.

   Lean 2