Explore projects

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

New implementation of diagonalization code, written for python wrapping.

The toolsuite of the LOFAR Cosmic Ray Key Science Project

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.

Hybrid adaptive distinguishing sequences for FSM-based complete testing

Hybrid adaptive distinguishing sequences for FSM-based complete testing: https://github.com/Jaxan/hybrid-ads

Please go to https://gitlab.science.ru.nl/moerman/hybrid-ads

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)

Assignment 2 for the Operating Systems course.