Popular repositories Loading

1. LaTeX-Numerical-Presentation LaTeX-Numerical-Presentation Public

   A summary of effective use of relevant LaTeX packages for plotting and presenting numerical results

   TeX 2

2. access-pytorch access-pytorch Public

   Python 1

3. erdos266 erdos266 Public

   Lean 4 formalization of the Kovač–Tao disproof of Stolarsky's conjecture (Erdős problem #266), in Palomar registry layout. Work in progress.

   Lean 1 1

4. UCF_WPA2 UCF_WPA2 Public

   NetworkManager config for UCF_WPA2 (WPA2 enterprise, peap, mschapv2, no cert)

5. ntk-figure-gen ntk-figure-gen Public

   neural tangent kernel

   Python

6. NTK_utils NTK_utils Public

   Forked from ajacot/NTK_utils

   Tools for the analysis of ANNs.

   Python