Beast code in Giters

JackDrury's repositories

scripts for initialising, running and saving traces from CORE emulator

Language:Python000

Language:TypeScript000

Language:Python000

mini haskell implementation

Language:Haskell020

Language:Haskell000

A research toolkit for particle swarm optimization in Python

Language:PythonMIT010

Isabelle/HOL formalisation of the Shadow Semantics

Language:Isabelle000

jupyter notebook looking at West Nile Virus

Language:Jupyter Notebook000

Python scripts for running X-ray tubes, collecting data, converting data etc...

Language:Python000