doganulus

reelay

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

montre

The original timed regular expression matcher over temporal behaviors

python-monitors

A pure Python package to monitor formal specifications over temporal sequences

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

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

actions

autoware-schema

benchmark-challenge-2018

Collection of submissions for the 2018 Runtime Verification Benchmark Challenge

containers

Container images for a variety of tasks

autoware-documentation

collection-spec

The Collection specification

cudd

A mirror of Colorado University Decision Diagram (CUDD) library

cudd_with_cmake

doganulus

Config files for my GitHub profile.

doganulus.github.io

Website

formats-website

http://www.formats-conference.org/

labs344

Development environment and instructions for CMPE344 lab sessions

libeconf

Enhanced config file parser, which merges config files placed in several locations into one.

open-ad-kit-docs

Repository to store mkdocs based documentation for the Open AD Kit

provision

pyjavu

A Python implementation of the monitoring tool DejaVu

ridge_map

Ridge plots of ridges

ros-examples

ros2-humble-tutorial

rosware

streamlit-example

Example Streamlit app that you can fork to test out share.streamlit.io

zenoh-cpp

C++ API for zenoh