Kevin Orr (@KevOrr)
github

KevOrr

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    47
  • Global Rank 356,388 (Top 13 %)
  • Followers 59
  • Following 64
  • Registered about 12 years ago
  • Most used languages
    Python
         27.3 %
    Common Lisp
         18.2 %
    Haskell
         9.1 %
    Emacs Lisp
         9.1 %
    Coq     9.1 %
    Shell
         9.1 %
    CSS
         9.1 %
    C
         9.1 %

Top repositories

1

Cpp--

C++ to C transpiler
Python
21
star
2

binaryninja-docker

Docker image for Binary Ninja
Shell
5
star
3

ctf-training

Supplementary Materials for weekly WCSC CTF training meetings
C
4
star
4

ctf-writeups

Writeups to CTF challenges I solve
Python
3
star
5

dotfiles

Emacs Lisp
2
star
6

tools

Things that don't fit in other repos
Common Lisp
1
star
7

datasets

Python
1
star
8

cl-pwn

A Common Lisp port of pwntools
Common Lisp
1
star
9

advent-of-code

Haskell
1
star
10

KevOrr.github.io

My GitHub Pages repository
CSS
1
star
11

coq-intro

Coq
1
star