I'm a CS undergrad at Xi'an Jiaotong University, passionate about compilers and programming languages.
- 🔭 Currently building a compiler for a C-like language (SysY) targeting RISC-V, as part of the CSCC Competition
- 🌱 Learning formal methods with Software Foundations (currently on Rocq)
- 📧 Email: yuyueryuyu@stu.xjtu.edu.cn / yuyueryuyu@outlook.com
- 💻 GitHub: @yuyueryuyu