Explore projects

A Jekyll plugin gem for easily incorporating reveal.js HTML slides into your Jekyll website.

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.

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.

Forked from https://gitlab.cecs.anu.edu.au/u5568237/mdpsim

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