Joseph Hallett's repositories
Advanced-OS
Coursework for Embedded Systems
maestral
Open-source Dropbox client for macOS and Linux
cog-stable-diffusion
Diffusers Stable Diffusion as a Cog model
COMSM0049
Systems and Software Security
bogwonch.net
Blog
phd-thesis
My PhD thesis on Authorization Logic for Mobile Ecosystems.
apppal-genstores-template
Template app store to be generated by apppal-genstore
vim-colors-nope
Nope to colors
cv
My CV. If you want to talk jobs email me.
news
Get the news
appstore-agreements
Summary of various developer and user agreements from various app stores.
ifip-sec-2017-capturing
Capturing BYOD policies in SP4BYOD (AppPAL)
alacritty
A cross-platform, GPU-accelerated terminal emulator
apppal-benchmark
Simple benchmark for AppPAL running on Android
atdcheck
Check text with Answer the Deadline from the commandline.
third-year-report
Report from the third year of my PhD
rfc1436
Nicely formatted documentation and toy Gopher Protocol implementations
html-image-inliner
Inlines images in HTML
qmk_firmware
keyboard controller firmware for Atmel AVR USB family
dotfiles
Just some small town dotfiles… living in a lonely world… they took the midnight train going a-ny-where…
ifm-ds-2016-policies
Extended abstract for Integrated Formal Methods DS
secprog_lab3_app
App for Lab-3 of Secure Programming
walrus
An IRC bot
second-year-report
2YR for my PhD
ruby-blocky-image-viewer
Commandline image display library with true-color and higher-resolution images.