Hi there 👋
- He/Him
- 中文/English/Français
- Studying Computer Science @ Centrale Nantes/Pékin
- Intern @ AdaCore (Early 2022)
- My Curriculum Vitae
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseFormal message specification and generation of verifiable binary parsers and message generators
A simple Docker-based build & judge system for complex multi-file projects. 使用 Docker 隔离的适用于多文件项目的自动评测机。