Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / doganulus / reelay

A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/doganulus%2Freelay

Stars: 29
Forks: 5
Open Issues: 3

License: mpl-2.0
Language: C++
Repo Size: 2.98 MB
Dependencies: 25

Created: almost 5 years ago
Updated: 3 months ago
Last pushed: about 2 months ago
Last synced: about 1 month ago

Commit Stats

Commits: 289
Authors: 3
Mean commits per author: 96.33
Development Distribution Score: 0.01
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/doganulus/reelay

Topics: assertion-library, cyber-physical-systems, formal-methods, header-only, runtime-verification, stream-processing, system-verification, temporal-logic, verification

Funding links: https://github.com/sponsors/doganulus

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/docs.yml actions
    .github/workflows/python.yml actions
    .devcontainer/Dockerfile docker
    .github/workflows/cdevel.yml actions
    .github/workflows/cryjson.yml actions
    .github/workflows/tests.yml actions
    docker/devel/Dockerfile docker
    docker/ryjson/Dockerfile docker
    docs/requirements.txt pypi
    pyproject.toml pypi