K
KevOrr
Formal Methods | Program Analysis
64 repositories
65 followers
Repositories
Select a repository to view its commits, contributors, and more.public
Cpp--
C++ to C transpiler
Python
21
0
1
Updated 9 months ago
public
binaryninja-docker
Docker image for Binary Ninja
Shell
5
0
1
Updated 2 years ago
public
ctf-training
Supplementary Materials for weekly WCSC CTF training meetings
C
4
3
0
Updated 2 years ago
public
ctf-writeups
Writeups to CTF challenges I solve
Python
3
0
0
Updated 5 years ago
public
dotfiles
Emacs Lisp
2
0
1
Updated 3 years ago
public
coq-intro
Coq
1
0
0
Updated 4 years ago
public
tools
Things that don't fit in other repos
Common Lisp
1
0
0
Updated 5 years ago
public
cl-pwn
A Common Lisp port of pwntools
Common Lisp
1
1
0
Updated 8 years ago
public
advent-of-code
Haskell
1
0
0
Updated 3 years ago
public
KevOrr.github.io
My GitHub Pages repository
CSS
1
1
2
Updated 3 years ago
public
smsanalyzer
Python
1
0
0
Updated 25 days ago
public
datasets
Python
1
0
3
Updated 7 years ago