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
Language:Java0 1 00
16-Bit-Bootloader
a simple program to load a kernel; run from BIOS
Language:Assembly5 2 11
Competitive-Programming
Codeforces, CCC/CCO 2016, and other algorithmic programs
Language:C++0 2 00
Excel-Virtual-Machine
C Compiler which targets Excel (MS Office)
Language:F#285 6 110
Fable
F# to JavaScript Compiler
Language:F#0 2 00
seahorn
SeaHorn Verification Framework
Language:C0 2 00
seahorn.github.io
github-pages repository
Language:HTML0 3 00
seahorn
SeaHorn Verification Framework
Language:C435 20 199129
seahorn.github.io
github-pages repository
Language:JavaScript0 5 05
RTC
Real Time Ches
Language:Java0 2 00

mrthefakeperson's Repositories

mrthefakeperson/Excel-Virtual-Machine
C Compiler which targets Excel (MS Office)
Language:F#285 6 110
mrthefakeperson/16-Bit-Bootloader
a simple program to load a kernel; run from BIOS
Language:Assembly5 2 11
mrthefakeperson/Competitive-Programming
Codeforces, CCC/CCO 2016, and other algorithmic programs
Language:C++0 2 00
mrthefakeperson/Fable
F# to JavaScript Compiler
Language:F#0 2 00
mrthefakeperson/seahorn
SeaHorn Verification Framework
Language:C0 2 00
mrthefakeperson/seahorn.github.io
github-pages repository
Language:HTML0 3 00