{"owner":"doganulus","github":"https://github.com/doganulus","claimed":false,"inventory":[],"indexed":[{"repo":"doganulus/reelay","github":"https://github.com/doganulus/reelay","description":"A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.","language":"C++","stars":44,"topics":["runtime-verification","temporal-logic","assertion-library","cyber-physical-systems","stream-processing","header-only","formal-methods","system-verification","verification"],"license":"MPL-2.0","category":"data-pipelines"}],"how_to_buy":"GET /r/doganulus/<repo> (Accept: application/json) for any listed repo here: tree, README, price and the checkout to pay (x402; rehearse first at its test twin, simulated money). Repos under 'indexed' are free: clone them from GitHub."}