Skip to content
Working from home
Working from home


  • Arctic Code Vault Contributor




  1. A wrapper script to build whole-program LLVM bitcode files

    Python 349 86

  2. Whole Program LLVM: wllvm ported to go

    Go 99 15

  3. The Yices SMT Solver

    SMT 212 20

  4. A Camouflage Proxy for the Tor Anonymity System

    C++ 52 15

  5. BLISS: Bimodal Lattice Signature Schemes

    C 14 5

  6. Experimental translation of llvm to smt.

    LLVM 27 9

470 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Activity overview
Contributed to ianamason/SudokuSensei, SRI-CSL/yices2_python_bindings, SRI-CSL/gllvm and 5 other repositories

Contribution activity

August 2020

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.