Name: Marius Mikučionis
Type: User
Company: Aalborg University
Bio: Software Engineer and Lecturer at Department of Computer Science, Aalborg University.
I develop and maintain Uppaal, also teach Selected Topics in Programming.
Location: Aalborg, Denmark
Blog: https://homes.cs.aau.dk/~marius
Marius Mikučionis's Projects
bel::views - simple and easy view classes for C++
Scripts to pull common C++ libraries
Tests for cmake library scripts in cmake-libs
C++ standard library reference
This repo contains the official UPPAAL documentation published on https://docs.uppaal.org
FreeHEP Vector Graphics
A fork of IBEN with patches allowing compilation on modern Linux distributions, and other improvements.
C++20 coroutine library
A Partition Refinement Based Learning-library
Matplot++: A C++ Graphics Library for Data Visualization 📊🗾
Extended Exercise 1
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 Using C++ (Second Edition).'
String splitting benchmarks
Uppaal CDD library
Uppaal DBM library
Uppaal Plugin Demo
Uppaal Timed Automata Parser
The (spookiest) UPPAAL utility library