Explore projects
-
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 -
Updated
-
Updated
-
This repository hosts all lecture notes and exercises for the 2021 course Monte Carlo Techniques (NWI-NM042B).
Updated -
Updated
-
Updated
-
Implementing the L* learning algorithm for nominal automata, using the ONS library
Updated -
-
Updated
-
-
New implementation of diagonalization code, written for python wrapping.
Updated -
Wouter van der Linde / Qhasm
The UnlicenseThis project contains the Qhasm implementation I used in my Bachelor thesis
Updated -
Updated