daniel-j-h/libosmium
Fast and flexible C++ library for working with OpenStreetMap data.
Public GitHub Catalog
Discovered Nov 1, 2026
daniel-j-h / MaxFlowSMT
Solving the Max-Flow problem using the optimizing nuZ solver included in the Z3 theorem prover.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#46033984GitHub System ID
daniel-j-hOrganization / User
PublicVisibility
ActiveCatalog Status
More from daniel-j-h
daniel-j-h/Catch
A modern, C++-native, header-only, framework for unit-tests, TDD and BDD
daniel-j-h/CppCoreGuidelines
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
daniel-j-h/cpp-travis-setup
Trying out several Travis CI setups for C++11 / C++14 projects.