Explore GitLab
Discover projects, groups and snippets. Share your projects with 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.
-
Scripts for collecting geographical data on mining areas around the world. Plus methods for identifying mining pits that could be used for pumped hydro energy storage.
-
my PhD. thesis.
-
-
Prepared for ENGN8224