holbert
A graphical interactive proof assistant designed for education. My contributions: applying rules by elimination, proofs by induction, proofs by cases, multi-axiom element and misc css styling. Honours report grade: 76% :tada:
Possibly Available
Evidence-backed skills
Repositories
inf3-ilp-cw2
UoE Informatics Large Practical Coursework 2 - Air Quality Map
Simple-Personal-Site
Old portfolio site
Swimming-Relay-Order-Calculator
This website lets users save swimmer demographics to a Google Cloud MySQL database and run reports for different really requirements. Records are ranked and can be saved as a CSV.
YouTube-Caption-Search-Engine
A YouTube caption search engine (UoE TTDS CW3) [DATABASE DOWN]
inf3-ilp-cw1
UoE Informatics Large Practical Coursework 1 - Heatmap
HTB19
1-800-MEME // Project for Hack The Burgh 2019
Redesign-Practice-IDP-Architects
Website redesign practice
Lanturn
Lanturn
CSGOJackpotTemplate
Front end for a jackpot site
IntoTheSkins
CSGO Bidding site