KevOrr - Overview

View KevOrr's full-sized avatar

Kevin Orr KevOrr

Formal Methods | Program Analysis

Block or report 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