Pinned Repositories
AutoRaise
AutoRaise (and focus) a window when hovering over it with the mouse
COMIDDS
A comprehensive survey of datasets for research in host-based and/or network-based intrusion detection, with a focus on enterprise networks
docker-claimform
Dockerfile and sources for University of Edinburgh Informatics legacy expenses program "claimform"
footpatch
HipCam
Tools for recording Hiproofs in hol-light and visualising them in a web browser
Isamode
Isamode 2.7 --- GNU Emacs support for Isabelle (Obsolete)
markdown-mode
Emacs Markdown Mode
multicompiler
LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
PG
This repo is the new home of Proof General
sparsebundlefs
FUSE filesystem for reading Mac OS sparse-bundle disk images
DavidAspinall's Repositories
DavidAspinall/AutoRaise
AutoRaise (and focus) a window when hovering over it with the mouse
DavidAspinall/COMIDDS
A comprehensive survey of datasets for research in host-based and/or network-based intrusion detection, with a focus on enterprise networks
DavidAspinall/docker-claimform
Dockerfile and sources for University of Edinburgh Informatics legacy expenses program "claimform"
DavidAspinall/footpatch
DavidAspinall/HipCam
Tools for recording Hiproofs in hol-light and visualising them in a web browser
DavidAspinall/Isamode
Isamode 2.7 --- GNU Emacs support for Isabelle (Obsolete)
DavidAspinall/markdown-mode
Emacs Markdown Mode
DavidAspinall/multicompiler
LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
DavidAspinall/PG
This repo is the new home of Proof General
DavidAspinall/sparsebundlefs
FUSE filesystem for reading Mac OS sparse-bundle disk images