Block or report user

Report or block cbailey555

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
Pro

Popular repositories

  1. kemono-friends-dialogs

    Forked from akahuku/kemono-friends-dialogs

    TVアニメ けものフレンズの台詞を書き起こしてみました

  2. aNixosConfig

    a nixos configuration

  3. sawtooth-core

    Forked from hyperledger/sawtooth-core

    Core repository for Sawtooth Distributed Ledger

    Python

  4. Su2018ResearchProject

    Summer 2018 independent study in economics; range voting, and a cap and trade market for Hyperledger Sawtooth.

    Rust

  5. lean

    Forked from leanprover/lean

    Lean Theorem Prover

    C++

  6. coqToLean

    Notes (as I find them) on transitioning from the Coq theorem prover to Lean.

33 contributions in the last year

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

Contribution activity

January 2019

cbailey555 has no activity yet for this period.

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