Martin Hořeňovský@horenmar 
I am a researcher at Locksley.CZ, where I work on solving large-scale master-key systems. I also maintain Catch2.
bdd top 10 test-framework top 10 cpp11 top 10

Expertise

Global rank

# 1,719

Location

None
Languages
cpp11
c-plus-...
C++
cpluspl...
cpp17
C
Python
Frameworks
test-fr...
Products
Windows
Terrafo...
Topics
bdd
tdd
sat-sol...
xor
options...
option-...
cmake
argumen...
argumen...
cpp20

Help us improve

If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.