Uppaal Timed Automata Parser

Uppaal DBM library

The (spookiest) UPPAAL utility library

C++ standard library reference

Matplot++: A C++ Graphics Library for Data Visualization 📊🗾

C++20 coroutine library

This repo contains the official UPPAAL documentation published on https://docs.uppaal.org

A Partition Refinement Based Learning-library

A fork of IBEN with patches allowing compilation on modern Linux distributions, and other improvements.

bel::views - simple and easy view classes for C++

A handy script to visualize google benchmark output

Uppaal CDD library

This repository houses the header files available from http://www.stroustrup.com/Programming/PPP2code for use while learning C++ from Bjarne Stroustrup's book 'Programming: Principles and Practice …

FreeHEP Vector Graphics

String splitting benchmarks