Block or report user

Report or block horenmar

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Organizations

@catchorg @master-keying

Pinned repositories

  1. catchorg/Catch2

    A modern, C++-native, header-only, test framework for unit-tests, TDD and BDD - using C++11, C++14, C++17 and later (or C++03 on the Catch1.x branch)

    C++ 7.7k 1.2k

  2. master-keying/mks

    Lock-chart solving algorithm testbed

    C++ 2

  3. master-keying/minisat

    Forked from niklasso/minisat

    A minimalistic and high-performance SAT solver

    C++ 31 1

735 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Activity overview
Contributed to catchorg/Catch2, master-keying/mks, Microsoft/vcpkg and 5 other repositories
Loading

Contribution activity

October 2018

23 contributions in private repositories Oct 1 – Oct 17

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