JackDrury's repositories
core-emulator-scripts
scripts for initialising, running and saving traces from CORE emulator
Language:Python000
Shadow
Isabelle/HOL formalisation of the Shadow Semantics
Language:Isabelle000
WNVExploratory
jupyter notebook looking at West Nile Virus
Language:Jupyter Notebook000
x-ray-scripts
Python scripts for running X-ray tubes, collecting data, converting data etc...
Language:Python000