Explore projects

Adaptation of Razvan Lica's xia4ids@main:433d9eb (https://github.com/rlica/xia4ids) into a distributable library

A java project that generates tests for RabbitMQFMU based on the dot file exported from tla+.

https://www.latlmes.com/arts/return-of-the-golden-age-of-comics-1

Contents relevant for Modelling I: computer exercise 1 (ES calculations on H2 and H2+).

Project containing code from our bachelor's project 2020.

Draw ΔE:E graphs simply by specifying AUSAlib setup and target files

A suite of tools for medical image processing focused on brain analysis