Charles Lei's repositories
Excel-Virtual-Machine
C Compiler which targets Excel (MS Office)
16-Bit-Bootloader
a simple program to load a kernel; run from BIOS
Competitive-Programming
Codeforces, CCC/CCO 2016, and other algorithmic programs
seahorn.github.io
github-pages repository