Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
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.
-
-
-
Parallel Fixed-point Model Checker (PFMC) - a parallel version of Open-Source Fixed-point Model Checker (OFMC) for security protocol verification.
-
Code related to the Open-Form Music Composition for Synchronised and Coordinated Action
-
-
Active Knowledge Graph Completion resources
-
-
This repository contains various pre-prints, technical reports and other documents from Thomas Haines
Updated -
Web password managing utilities
-
code for Episode Adaptive Embedding Networks for Few-shot Learning
-
-
-
-
-
Database backup for the windatlas.xyz website
-
http://windatlas.xyz A website for making 40 years of hourly wind energy data easily available.
-
Scripts for collecting geographical data on reservoirs and lakes around the world. Plus methods for estimating usable volume, to in order to identify potential reservoirs for pumped hydro energy storage.