Kevin Orr KevOrr

Pinned Loading

1. A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.

   Haskell 56 6

2. C++ to C transpiler

   Python 22

3. Supplementary Materials for weekly WCSC CTF training meetings

   C 4 3

4. Writeups to CTF challenges I solve

   Python 3

5. Coq library for working with de Bruijn indices [maintainer=@KevOrr]

   Coq 30 6

6. Forked from hishamhm/htop

   Like htop, but displays MEME% instead of MEM%. Only supported branch is master

   C 2