Discover @doganulus Open Source projects

Doğan Ulus (@doganulus)

doganulus

Stars
84
Global Rank 235,692 (Top 9 %)
Followers 51
Following 18
Registered about 13 years ago
Most used languages

C++
44.4 %

Python
33.3 %

Dockerfile
11.1 %

Shell
11.1 %
Location 🇹🇷 Turkey
Country Total Rank 1,718
Country Ranking

C++
72

Dockerfile
175

Shell
193

Python
490

reelay

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

python-monitors

A pure Python package to monitor formal specifications over temporal sequences

montre

The original timed regular expression matcher over temporal behaviors

reelay-codegen

A code generator from high-level formal specifications for monitoring and pattern matching sequential/temporal data.

timescales

A benchmark generator for Metric Temporal Logic (MTL) monitoring tools

AMS-Verify

AMS-Verify is an analog and mixed-signal (AMS) verification framework inspired from unit testing methodology.

scalr

std::chrono inspired physical quantity/unit representation and manipulation library for C++11/14/17

timedrel

A header-only C++ library that implements the algebra of timed relations + Python bindings

awsim-container

container-unison

A containerized unison service with systemd