GitLab

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

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