Explore projects

Git repo for the 2022 Practical Programming and Numerical Methods course

Oblivious Pseudorandom Functions

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

Storage for TorsionBar example

Software for execution on PC for controlling the Desktop Robotti and processing data from its sensors. Teleoperation, SLAM, Marvelmind, Co-simulation communication

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