Pinned Repositories
awesome-number-theory
A list of awesome number theory resources
fhe-org.github.io
We are a community of researchers and developers interested in advancing homomorphic encryption and other secure computation techniques.
grothendieck-kimchi
English translation (in progress) of Alexander Grothendieck's writing on kimchi
KT
Knowledge Tracing Models with PyTorch
lean-poly-abc
Formalization of the proof of ABC conjecture for polynomials (Mason-Stothers theorem) in Lean 4
math-notes
TeX-ed notes for personal study
posqmf
Supplementary Sage codes for the paper "Algebraic proof of modular form inequalities for optimal sphere packings"
sage
Main repository of SageMath. Now open for Issues and Pull Requests.
seewoo5.github.io
https://seewoo5.github.io/
seewoo5's Repositories
seewoo5/KT
Knowledge Tracing Models with PyTorch
seewoo5/awesome-number-theory
A list of awesome number theory resources
seewoo5/lean-poly-abc
Formalization of the proof of ABC conjecture for polynomials (Mason-Stothers theorem) in Lean 4
seewoo5/posqmf
Supplementary Sage codes for the paper "Algebraic proof of modular form inequalities for optimal sphere packings"
seewoo5/math-notes
TeX-ed notes for personal study
seewoo5/seewoo5.github.io
https://seewoo5.github.io/
seewoo5/fhe-org.github.io
We are a community of researchers and developers interested in advancing homomorphic encryption and other secure computation techniques.
seewoo5/grothendieck-kimchi
English translation (in progress) of Alexander Grothendieck's writing on kimchi
seewoo5/sage
Main repository of SageMath. Now open for Issues and Pull Requests.
seewoo5/seewoo5
seewoo5/sage-bhargava-cube
SageMath implementation of Bhargava's cube