Explore projects

Tight-binding Propagation Simulator for python 3.

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

static webpage source

ISQ guidelines

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

Scripts to create the IM&DB music database

NDL project

Spark project accompanying thesis document

Natural Computing 2021: Luko van der Maas, Maris Galesloot and Yannick Hogewind

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

Scripts used in termux to glue everything together

In this repository, you can find all the files of my bachelor thesis. You can find the LaTex Code but also the source code of the thesis,

Grammatical inference using the Z3 SMT solver

We compare the existing RA learners (Tomte and RALib) on a set of benchmarks and analyze the statistics. The project includes the binaries of the tools, as well as scripts that automatically generate models, run and collect data.