Popular repositories Loading

1. Super-Problem-Jumper Super-Problem-Jumper Public

   强力 OI/ACM 跳题器，支持在所有网页跳转到题目，支持洛谷、CodeForces、AtCoder、LOJ、UOJ、UVA 等多种题库的题目

   JavaScript 8

2. Discrete Discrete Public

   Some Discrete Mathematics propositions proven in Lean4.

   Lean 1

3. SysY SysY Public

   A simple compiler to compile SysY source code into Koopa IR and RISC-V asm. This is to have a taste of the pku-minic practice (https://pku-minic.github.io/online-doc/#/).

   C++ 1

4. luogu-wordcloud luogu-wordcloud Public

   Forked from konyakest/luogu-wordcloud

   Python

5. adfhkjafsdk.github.io adfhkjafsdk.github.io Public

   My new Github Pages repository.

   HTML