Patrick's repositories
seL4cp-workshop
My solutions to the draft-version of the seL4 Core Platform (seL4cp) Workshop held during the 2022 seL4 Summit (11 - 13 Oct).
usyd-2019-ai-competition
"Artemis HPC Prize"-Winning Submission for the 2019 USYD Artificial Intelligence Competition. Created several Deep Learning Neural Networks to categorise the severity of Diabetic Retinopathy using images of retinas.
openrocket-patrick
A modified version of the OpenRocket Simulator tailored for the USYD Rocketry Team to more accurately compute aerodynamic forces by incorporating the use of CFD (Computational Fluid Dynamics) coefficients.
sddf-serial
A simple sDDF UART driver for the iMX8MM SoC.