Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / doganulus / python-monitors
A pure Python package to monitor formal specifications over temporal sequences
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/doganulus%2Fpython-monitors
Stars: 15
Forks: 5
Open Issues: 0
License: gpl-3.0
Language: Python
Repo Size: 43.9 MB
Dependencies:
2
Created: over 5 years ago
Updated: 2 months ago
Last pushed: over 4 years ago
Last synced: 6 days ago
Topics: monitoring, regular-expressions, runtime-verification, temporal-logic
Funding links: https://github.com/sponsors/doganulus