Block or report user

Report or block dranov

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. certichain/toychain

    A minimalistic blockchain consensus implemented and verified in Coq

    Coq 49 4

  2. certichain/NanoPoS

    A toy implementation of a Proof-of-Stake consensus protocol in Scala

    Scala 2 2

129 contributions in the last year

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

Contribution activity

October 2018

5 contributions in private repositories Oct 17 – Oct 20

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