Block or report user

Pinned repositories

  1. ring

    Forked from briansmith/ring

    Safe, fast, small crypto using Rust & BoringSSL's cryptography primitives.


  2. cryptol

    Forked from GaloisInc/cryptol

    Cryptol: The Language of Cryptography


  3. letsencrypt

    Forked from certbot/certbot

    This Let's Encrypt repo is an ACME client that can obtain certs and extensibly update server configurations (currently supports Apache on .deb based systems, nginx support coming soon)


  4. rfcs

    Forked from rust-lang/rfcs

    RFCs for changes to Rust

  5. rust

    Forked from rust-lang/rust

    A safe, concurrent, practical language.


249 contributions in the last year

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

Contribution activity First pull request First issue Joined GitHub

March 2017

Created a pull request in briansmith/ring that received 11 comments

Start Ed25519 port

For #459. Todo: Transliterate C signing code Benchmark before verify transliteration Benchmark after verify transliteration Transliterate v…

Created an issue in ambiata/mafia that received 2 comments

Error parsing output of `ghc-pkg list` in `hoogle` command edge case

Summary If we have an empty package database, say, in a new cabal sandbox, invocations of mafia hoogle will fail when attempting to parse the string "

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