Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Supplementary Materials for weekly WCSC CTF training meetings
C 3 2
Writeups to CTF challenges I solve
Python 3 1
Coq library for working with de Bruijn indices [maintainer=@KevOrr]
Coq 19 3
Forked from hishamhm/htop
Like htop, but displays MEME% instead of MEM%. Only supported branch is master
C 2
C++ to C transpiler
Python 3
Crunch a lot of numbers quickly
C++
Seeing something unexpected? Take a look at the GitHub profile guide.