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