-
Aalborg University
- Aalborg, Denmark
-
06:04
(UTC +02:00) - https://homes.cs.aau.dk/~marius
-
utap Public
Forked from UPPAALModelChecker/utapUppaal Timed Automata Parser
C++ GNU Lesser General Public License v2.1 UpdatedMay 12, 2025 -
UDBM Public
Forked from UPPAALModelChecker/UDBMUppaal DBM library
C++ GNU General Public License v3.0 UpdatedMay 12, 2025 -
UUtils Public
Forked from UPPAALModelChecker/UUtilsThe (spookiest) UPPAAL utility library
C++ GNU General Public License v3.0 UpdatedApr 23, 2025 -
-
cppreference-doc Public
Forked from PeterFeicht/cppreference-docC++ standard library reference
HTML GNU General Public License v3.0 UpdatedFeb 3, 2025 -
matplotplusplus Public
Forked from alandefreitas/matplotplusplusMatplot++: A C++ Graphics Library for Data Visualization 📊🗾
C++ MIT License UpdatedOct 24, 2024 -
cmake-libs-test Public
Tests for cmake library scripts in cmake-libs
C++ MIT License UpdatedAug 27, 2024 -
-
libcoro Public
Forked from jbaldwin/libcoroC++20 coroutine library
C++ Apache License 2.0 UpdatedMay 31, 2024 -
docs.uppaal.org Public
Forked from UPPAALModelChecker/docs.uppaal.orgThis repo contains the official UPPAAL documentation published on https://docs.uppaal.org
CSS UpdatedJan 19, 2024 -
libprlearn Public
Forked from DEIS-Tools/libprlearnA Partition Refinement Based Learning-library
C++ GNU Lesser General Public License v3.0 UpdatedNov 1, 2023 -
IBEN-FML Public
Forked from skejserjensen/IBEN-FMLA fork of IBEN with patches allowing compilation on modern Linux distributions, and other improvements.
C++ GNU General Public License v2.0 UpdatedJun 8, 2023 -
belleviews Public
Forked from josuttis/belleviewsbel::views - simple and easy view classes for C++
-
google_benchmark_plot Public
Forked from lakshayg/google_benchmark_plotA handy script to visualize google benchmark output
Python UpdatedDec 14, 2022 -
-
UCDD Public
Forked from UPPAALModelChecker/UCDDUppaal CDD library
C++ GNU General Public License v3.0 UpdatedJul 26, 2022 -
Programming-_Principles_and_Practice_Using_Cpp Public
Forked from BjarneStroustrup/Programming-_Principles_and_Practice_Using_CppThis 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 …
C UpdatedNov 16, 2021 -
freehep-vectorgraphics Public
Forked from renew-tgi/freehep-vectorgraphicsFreeHEP Vector Graphics
Java Other UpdatedDec 10, 2020 -
string-splitting Public
Forked from tobbez/string-splittingString splitting benchmarks
C++ UpdatedMay 29, 2016