Explore projects

Enhanced shapr package with extensions for computing causal and asymmetric Shapley values.

This contains the code for the Arduino, to control the Dobot Magician.

Clean make

Clean compiler

Hybrid adaptive distinguishing sequences for FSM-based complete testing

This repository hosts all lecture notes and exercises for the 2021 course Monte Carlo Techniques (NWI-NM042B).

Software to run the pipelines, work with database, etc.

C++ crash reporting library for UNIX systems (macOS/Linux/FreeBSD)

Code used in the internship project Simulating Random Triangulations. Made by Timothy Budd and altered for the project by Anna van Asselt

Implementation of PEP primitives including zero knowledge proofs, based on the Ristretto version of libsodium.