Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
This repository contains various pre-prints, technical reports and other documents from Thomas Haines
UpdatedUpdated -
Updated
-
-
Updated
-
Updated
-
LaTeX templates for:
presentations lecture slides research project reports (like Bachelor, Master, or PhD theses, but also much smaller ones)Created by Pascal Bercher (credit appreciated), though some parts may have contributions by others.
Updated -
Updated
-
Updated
-
Code related to the Open-Form Music Composition for Synchronised and Coordinated Action
Updated -
Updated
-
Updated
-
Parallel Fixed-point Model Checker (PFMC) - a parallel version of Open-Source Fixed-point Model Checker (OFMC) for security protocol verification.
Updated -
-
http://windatlas.xyz A website for making 40 years of hourly wind energy data easily available.
Updated -
Active Knowledge Graph Completion resources
Updated -
Updated
-