Pinned Repositories
core-emulator-scripts
scripts for initialising, running and saving traces from CORE emulator
jackdrury.github.io
MinHS
mini haskell implementation
minhs2
pyswarms
A research toolkit for particle swarm optimization in Python
Shadow
Isabelle/HOL formalisation of the Shadow Semantics
st-test
WNVExploratory
jupyter notebook looking at West Nile Virus
x-ray-scripts
Python scripts for running X-ray tubes, collecting data, converting data etc...
JackDrury's Repositories
JackDrury/MinHS
mini haskell implementation
JackDrury/core-emulator-scripts
scripts for initialising, running and saving traces from CORE emulator
JackDrury/jackdrury.github.io
JackDrury/minhs2
JackDrury/pyswarms
A research toolkit for particle swarm optimization in Python
JackDrury/Shadow
Isabelle/HOL formalisation of the Shadow Semantics
JackDrury/st-test
JackDrury/WNVExploratory
jupyter notebook looking at West Nile Virus
JackDrury/x-ray-scripts
Python scripts for running X-ray tubes, collecting data, converting data etc...