Explore projects

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

Build and CI scripts for Clean

The Clean platform is a collection of multi-platform general purpose libraries for Clean.

This repo is for a publication which aims at unifying the ICTAC 2015 paper with related theoretical elements introduced by Judith's Master's dissertation. The target journal is: http://journals.cambridge.org/jid_MSC