A Partition Refinement Based Learning-library

Kalman Filter

Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks

A modern C++ scientific plotting library powered by gnuplot

Spotprisprognoser

A framework to run tests on any MCC compliant tool.

Models, Formulas, Oracles from Model Checking Competition 2021

Library for Data Decision Diagrams and Set Decision Diagrams

Examples of how to create colorful, annotated equations in Latex using Tikz.

Header-only C++ program options parser library

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

A multi-formalism, multi-solution model-checker centered on the language GAL

Comparison of a network-based epidemic model and a SIR-based epidemic model

C++ CSV parser library

A process/message visualizer for BEAM nodes.💪👁

A collection of Aalborg University LaTeX-templates

High-Level Nets Blaster for the Model-Checking Contest

Light-weight, simple and fast XML parser for C++ with XPath support

Multiprecision for modern C++

A memory efficient hashfree hashmap implementation