doganulus Goto Github PK

actions

ams-verify

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

autoware-documentation

autoware-schema

awsim-container

benchmark-challenge-2018

Collection of submissions for the 2018 Runtime Verification Benchmark Challenge

collection-spec

The Collection specification

containers

Container images for a variety of tasks

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.

montre

The original timed regular expression matcher over temporal behaviors

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

python-monitors

A pure Python package to monitor formal specifications over temporal sequences

reelay

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

reelay-codegen

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

ridge_map

Ridge plots of ridges

ros-examples

ros2-humble-tutorial

rosware

scalr

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

streamlit-example

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

timedrel

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

timescales

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