mrthefakeperson
Student at the University of Waterloo for Computer Engineering (2021) who enjoys learning about algorithms, functional programming, and compilers.
Waterloo, Canada
Pinned Repositories
EngHackS17
enghack project
16-Bit-Bootloader
a simple program to load a kernel; run from BIOS
Competitive-Programming
Codeforces, CCC/CCO 2016, and other algorithmic programs
Excel-Virtual-Machine
C Compiler which targets Excel (MS Office)
Fable
F# to JavaScript Compiler
seahorn
SeaHorn Verification Framework
seahorn.github.io
github-pages repository
seahorn
SeaHorn Verification Framework
seahorn.github.io
github-pages repository
RTC
Real Time Ches
mrthefakeperson's Repositories
mrthefakeperson/Excel-Virtual-Machine
C Compiler which targets Excel (MS Office)
mrthefakeperson/16-Bit-Bootloader
a simple program to load a kernel; run from BIOS
mrthefakeperson/Competitive-Programming
Codeforces, CCC/CCO 2016, and other algorithmic programs
mrthefakeperson/Fable
F# to JavaScript Compiler
mrthefakeperson/seahorn
SeaHorn Verification Framework
mrthefakeperson/seahorn.github.io
github-pages repository