An expansion/adjustment of the ads algorithm from Lee/Yannakakis.
Heavily builds upon the existing implementation found at https://gitlab.science.ru.nl/moerman/hybrid-ads.
Software to run the pipelines, work with database, etc.
New implementation of diagonalization code, written for python wrapping.
Assignment 2 for the Operating Systems course.
Hybrid adaptive distinguishing sequences for FSM-based complete testing
Implementation of PEP primitives including zero knowledge proofs, based on the Ristretto version of libsodium.
C++ crash reporting library for UNIX systems (macOS/Linux/FreeBSD)