Popular repositories Loading

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

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

   JavaScript 8

2. oiph oiph Public

   An agent system to help with OI/ACM contest preparation.

   Rust 3

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. PVZ-manager PVZ-manager Public

   A tool to backup PlantsVsZombies 1 game data which supports version management.

   Rust 1

5. Abstract Abstract Public

   A trial of lean4 formalization of Yao Musheng's《抽象代数学》(Abstract Algebra).

   Lean 1

6. luogu-wordcloud luogu-wordcloud Public

   Forked from konyakest/luogu-wordcloud

   Python