JSON for Modern C++

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

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

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

A portable foreign-function interface library.

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

Converts profiling output to a dot graph.

A process/message visualizer for BEAM nodes.💪👁

A minimalistic and high-performance SAT solver

C++ CSV parser library

A modern C++ scientific plotting library powered by gnuplot

Multiprecision for modern C++

A collection of Aalborg University LaTeX-templates

Header-only C++ program options parser library

A generic C++17 parser-combinator library with a natural grammar notation.

Kalman Filter

Spotprisprognoser

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

Library for Data Decision Diagrams and Set Decision Diagrams

High-Level Nets Blaster for the Model-Checking Contest

A Partition Refinement Based Learning-library

A memory efficient hashfree hashmap implementation