Explore projects

Implementation of elliptic curve cryptography using the Renes-Costello-Batine addition laws

https://gitlab.mpi-sws.org/iris/reloc/

https://cs.ru.nl/~dfrumin/wpc/index.html

Implementation of a challenging data mining algorithm

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.

Article collaboration about QUIC readiness for business applications

Learning product automata

gimp plugin dcamnoise,

There’s an App for Everything

Netwerken Project 2. bTCP

Project 1 van Netwerken en Gedistribueerde systemen: DNS Resolver & Name Server

Scripts created at the Science faculty for use by anyone who has a use for it.

Implementing the L* learning algorithm for nominal automata, using the ONS library

A mirror of ReLoC - Relational logic for fine-grained concurrency