Block or report user


@GaloisInc @spire @micro-policies @xflux-gui

Pinned repositories

  1. xflux-gui/xflux-gui

    Better lighting for Linux. Open source GUI for xflux

    Python 1k 82

  2. conf

    Linux configuration files

    Shell 5

  3. haskell-call-trace

    Fancy call tracing for Haskell.

    Haskell 5

  4. micro-policies/verified-ifc

    Coq formalization accompanying the paper: A Verified Information-Flow Architecture

    Coq 1

  5. awslabs/s2n

    s2n : an implementation of the TLS/SSL protocols

    C 2.8k 253

234 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

July 2017

3 contributions in private repositories Jul 12 – Jul 20

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