Explore projects

This repository contains initial prototype implementation of providing privacy and security to how medical researchers interact with participant via ZorgTTP.

experimental search engine based on DuckDB

Grammatical inference using the Z3 SMT solver

http://cncz.science.ru.nl en https://home.cncz.nl

The Weighted AUReC implementation used for the experiments in the ECIR 2024 short paper.

článek - markdown verze (czech)

http://tomte.cs.ru.nl/ Tomte is a tool that fully automatically constructs abstractions for automata learning.

Tight-binding Propagation Simulator for python 3.

Tight-binding Propagation Simulator for python 3.