Popular repositories Loading

1. EasyEDALoader EasyEDALoader Public

   Forked from expired6978/EasyEDALoader

   Altium Designer C# Extension for downloading footprints, symbols, and 3D model from EasyEDA

   C#

2. wht-power-saving-lean wht-power-saving-lean Public

   Lean 4 proofs: discrete Fourier transform of every length and Walsh-Hadamard transform in O(n (log n)^z), z = 1 - 8.76e-4, in the RAM model of OpenAI's family 130

   Lean 1

3. integer-mult-bounds integer-mult-bounds Public

   Forked from CrocSwap/integer-mult-bounds

   Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.

   Python

4. wht-fewer-operations wht-fewer-operations Public

   Circuits for the exact Walsh-Hadamard transform on 8^j points with at most (5/6) N log2 N + N operations, proved in Lean 4. A better constant, not a better exponent.

   Python