Block or report user

Report or block tromp

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. cuckoo

    a memory-bound graph-theoretic proof-of-work system

    Cuda 502 98

  2. equihash

    multi-parameter Equihash proof-of-work multi-threaded C solvers

    C++ 108 60

  3. golegal

    count number of legal positions in the game of go

    TeX 83 7

  4. AIT

    Algorithmic Information Theory, using Binary Lambda Calculus

    TeX 31 3


    John Tromp homepage

    HTML 8

  6. fhourstones88

    Fhourstones solver equipped with 8x8 solving book

    C++ 6 2

250 contributions in the last year

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

Contribution activity

July 2018

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