Block or report user

Report or block Robbepop

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse



Pinned repositories

  1. string-interner

    A data structure to efficiently intern, cache and restore strings.

    Rust 20 2

  2. prophet

    A simple neural net implementation.

    Rust 29 1

  3. stevia

    A simple SMT solver.

    Rust 15 2

  4. apint

    Arbitrary precision integers library.

    Rust 13 1

  5. ipasir-rs

    FFI bindings for the IPASIR incremental SAT solver interface.

    Rust 1

  6. state_ptr

    A pointer that allows to store state into unused bits of the address.

    C++ 2 1

1,636 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri
Activity overview
Contributed to Robbepop/stevia, Robbepop/apint, paritytech/parity-common and 5 other repositories

Contribution activity

December 2018

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