Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / doganulus / reelay-codegen
A code generator from high-level formal specifications for monitoring and pattern matching sequential/temporal data.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/doganulus%2Freelay-codegen
Stars: 6
Forks: 1
Open Issues: 0
License: gpl-3.0
Language: Python
Repo Size: 7.87 MB
Dependencies:
2
Created: over 6 years ago
Updated: about 1 month ago
Last pushed: over 4 years ago
Last synced: about 1 month ago
Topics: code-generation, data-stream, formal-specification, monitoring, monitoring-tool, regular-expression, runtime-verification, stream-processing, temporal-data, temporal-logic
Funding links: https://github.com/sponsors/doganulus