Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor
  • Pro

Organizations

@catchorg @master-keying

Pinned

  1. 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++ 11.9k 2k

  2. Lock-chart solving algorithm testbed

    C++ 8

  3. Forked from niklasso/minisat

    A minimalistic and high-performance SAT solver

    C++ 95 6

342 contributions in the last year

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

Contribution activity

August 2020

horenmar has no activity yet for this period.

July 2020

6 contributions in private repositories Jul 21 – Jul 24

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

You can’t perform that action at this time.