Skip to content
View xyguo's full-sized avatar
🏠
Working from home
🏠
Working from home
59 followers · 140 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

  • Pro

Block or report xyguo

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
xyguo/README.md

Teacher at SUNY Buffalo.

Popular repositories Loading

  1. emacs.d emacs.d Public

    My emacs config file with support for C/C++, Matlab, Haskell, LaTeX etc.

    Emacs Lisp 102 48

  2. clusterz clusterz Public

    experiment code for our NIPS'18 paper

    Python 9 1

  3. LatticeCrypto LatticeCrypto Public

    Formalization of some security proofs for lattices problems using Lean4

    Lean 1

  4. libsvm libsvm Public

    Forked from cjlin1/libsvm

    Java

  5. linux-0.11-deb linux-0.11-deb Public

    Forked from ellipse/linux-0.11-deb

    linux kernel version 0.11, compiled on Debian sid 64-bit, ran in the bochs.

    C

  6. nju-thesis nju-thesis Public

    Forked from Haixing-Hu/nju-thesis

    南京大学学位论文XeLaTeX模板

    TeX