Projects in Awesome Lists by doganulus
A curated list of projects in awesome lists by doganulus .
https://github.com/doganulus/reelay
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
assertion-library cyber-physical-systems formal-methods header-only runtime-verification stream-processing system-verification temporal-logic verification
Last synced: 05 Apr 2025
https://github.com/doganulus/python-monitors
A pure Python package to monitor formal specifications over temporal sequences
monitoring regular-expressions runtime-verification temporal-logic
Last synced: 05 Apr 2025
https://github.com/doganulus/montre
The original timed regular expression matcher over temporal behaviors
pattern-matching regex-engine regular-expression timed
Last synced: 05 Apr 2025
https://github.com/doganulus/timescales
A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
benchmark-generation benchmark-suite monitoring runtime-monitoring runtime-verification temporal-logic
Last synced: 05 Apr 2025
https://github.com/doganulus/reelay-codegen
A code generator from high-level formal specifications for monitoring and pattern matching sequential/temporal data.
code-generation data-stream formal-specification monitoring monitoring-tool regular-expression runtime-verification stream-processing temporal-data temporal-logic
Last synced: 05 Apr 2025
https://github.com/doganulus/scalr
std::chrono inspired physical quantity/unit representation and manipulation library for C++11/14/17
cpp11 dimensional-analysis physical-units quantity units
Last synced: 05 Apr 2025
https://github.com/doganulus/timedrel
A header-only C++ library that implements the algebra of timed relations + Python bindings
Last synced: 05 Apr 2025
https://github.com/doganulus/container-unison
A containerized unison service with systemd
Last synced: 05 Apr 2025
https://github.com/doganulus/containers
Container images for a variety of tasks
Last synced: 05 Apr 2025
https://github.com/doganulus/pyjavu
A Python implementation of the monitoring tool DejaVu
Last synced: 05 Apr 2025
https://github.com/doganulus/formats-website
http://www.formats-conference.org/
Last synced: 05 Apr 2025