Block or report user

Report or block spaceships

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@GaloisInc @5GenCrypto @osu-crypto

Popular repositories

  1. garbled-circuits

    haskell implementation of garbled circuits

    Haskell 11 3

  2. circuit-synthesis

    compilers for arithmetic circuits

    Haskell 8 4

  3. RogueMonad

    yet another roguelike

    Haskell 5

  4. clt13-hs

    Haskell implementation of the CLT13 multilinear map

    Haskell 3

  5. cryptobib-fuzzy-finder

    script to hook fzf up to cryptobib for easy citation discoveries

    Shell 2

  6. zimmerman15

    C 1

668 contributions in the last year

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

Contribution activity

September 2018

2 contributions in private repositories Sep 4 – Sep 5

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