Block or report user

Report or block hivert

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. HPCombi

    Fast combinatorics in C++ using SSE/AVX instruction sets

    C++ 5 1

  2. IVMPG

    integer vectors modulo the action of a permutation group

    C++ 2

  3. NumericMonoid

    Computing the number of Numerical Monoid of a Given Genus

    Python 2 2

  4. Coq-Combi

    Algebraic Combinatorics in Coq

    Coq 10

  5. multinomials

    Forked from math-comp/multinomials

    Multinomials for Ssreflect

    Coq

  6. libsemigroups

    Forked from james-d-mitchell/libsemigroups

    C++ library for semigroups and monoids

    C++

479 contributions in the last year

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

Contribution activity

August 2018

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