Explore projects

This repository contains the Python scripts used for my Bachelor Thesis on Fuzzing Zigbee

Grammatical inference using the Z3 SMT solver

Grammatical inference using the Z3 SMT solver

Grammatical inference using the Z3 SMT solver

A decentralized, fault tolerant and web-friendly file system based on torrents

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

Tweeting pictures as unicode text

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

článek - markdown verze (czech)

Code used for my masters thesis

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