Explore projects
-
Joshua Moerman / hybrid-ads
MIT LicenseHybrid adaptive distinguishing sequences for FSM-based complete testing: https://github.com/Jaxan/hybrid-ads
Archived 0Updated -
Hans Harmannij / libpep
Apache License 2.0Implementation of PEP primitives including zero knowledge proofs, based on the Ristretto version of libsodium.
Updated -
Bernard van Gastel / libpep-cpp
Apache License 2.0Implementation of PEP primitives including zero knowledge proofs, based on the Ristretto version of libsodium.
Updated -
Archived 0Updated
-
Updated
-
Updated
-
This repository hosts all lecture notes and exercises for the 2021 course Monte Carlo Techniques (NWI-NM042B).
Updated -
Archived 0Updated
-
Updated
-
Updated
-
Implementing the L* learning algorithm for nominal automata, using the ONS library
Updated -
-
Updated
-
-
The toolsuite of the LOFAR Cosmic Ray Key Science Project
Archived 0Updated