Block or report user

Report or block FTRobbin

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. Dreadnought-Standard-Code-Library

    Standard Code Library of the ACM-ICPC team SJTU Dreadnought(15.07-16.05) for World Finals 2016

    TeX 25 3

  2. ICPCCamp/BlackBoxLinearAlgebra

    Code templates and slides for ICPCCamp 2017, Feb 13, Beijing.

    C++ 38 6

  3. Ironwood

    A Correct-by-Construction Blockchain Protocol Implementation

    Coq 7

  4. Edelweiss

    A lightweight consensus protocol simulator.

    Python 3

  5. Neroysq/VyperFlow

    A next-generation secure smart contract language for Ethereum.

    Python 6

  6. STV

    Forked from gancherj/STV

    Haskell

185 contributions in the last year

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

Contribution activity

November 2018

4 contributions in private repositories Nov 15

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