Dave Butler's repositories
davetbutler.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
first-contributions
🚀✨ Help beginners to contribute to open source projects
first-time-quines
Making your first contribution to Open Source can be hard. Here we will guide you through your first time!
formalising-mpc-isabelle
Formalisation of MPC in Isabelle/HOL
Hacktoberfest
A collection of words! :star: it if you :+1: it !
id_system_poc
Proof of concept for database separation and query logging
StandupMonkey
A self hosted slack bot to conduct standups & generate reports.
TraceSecure
The continuously updated draft of our privacy preserving contact tracing proposal will be kept here.
triathlon-api-wrapper
WIP wrapper for triathlon API
github-h-index
Calculating the h-index of organizations and users on GitHub
nada-quickstart
Onboard to the nada language quickly using this repo
stackoverflow-readme-profile
Easily share your Stackoverflow's profile on your README