Explore projects

A collection of shell scripts or commands

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

Python+Java tool for learning TCP implementations

Data Manager

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.

Repository for the framework used in project 1 of the computer networking course.

Repository for the framework used in the DNS Resolver and Name Server Project of the computer networking course.

This repo has been migrated to GitHub: https://github.com/thaliawww/concrexit

Spark project accompanying thesis document

Software to run the pipelines, work with database, etc.

Build and CI scripts for Clean

This repo has been migrated to GitHub: https://github.com/thaliawww/ThaliApp

The toolsuite of the LOFAR Cosmic Ray Key Science Project

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

There’s an App for Everything

Tight-binding Propagation Simulator for python 3.