MathiasMehl

Benchmark-Utility

Collection of code to be used in our 9th semester project for benchmarking

DEIS-MCC

verifypn

The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.

Reveaal

A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in rust.

encode-game-structure

populartimes

CGAAL

An on-the-fly, multi-threaded ATL model checker on concurrent game structures

takeover.sh

Wipe and reinstall a running Linux system via SSH, without rebooting. You know you want to.

PyMail

Python mail library for sending and receiving information from a users mailbox using the Gmail api.

traffic-modelling

cable-haunt-vulnerability-test

spotirec

Create playlist of recommended tracks on Spotify

groupforming

collaborative university project on forming groups with genetic algorithms from numeric criteria

scraper

distributed web scraper

RLBot-Beast

Rocket League bot

cellmata

programming language for effectively writing cellular automata

chwifi

network profile manager for wireless networks with rolling password systems

cleopetra

Tournament system tailored to the RLBot framework

jellyfin

The Free Software Media System

ComputerCraft

Programmable Computers for Minecraft