Michael Bargury's repositories
lean-tutorial-reference
A newbie's reference solutions to Lean tutorials
parallel-algebraic-curves
Animated translation of Algebraic Curves to Parallel Coordinates
botometer-python
A Python API for Botometer by OSoMe
Clicker
Records and repeats mouse and keyboard inputs
first-order-model
This repository contains the source code for the paper First Order Motion Model for Image Animation
html5print
HTML5, CSS, Javascript Pretty Print
IP-Grouping
An implementation of the IP-Grouping algorithm for IPv4
klee
KLEE Symbolic Execution Engine
open_nsfw
Not Suitable for Work (NSFW) classification using deep neural network Caffe models.
ply
Python Lex-Yacc
Proof-Pudding
Copy cat model for Proofpoint
quickfort
A spreadsheet driven construction tool for Dwarf Fortress
scriptlog-mailer
Runs a command line script and emails recipients on completion/faillure
space-filling-curves
A Python implementation of popular space filling curves
spiffe
The SPIFFE Project
Transfer-Learning-Suite
Transfer Learning Suite in Keras. Perform transfer learning using any built-in Keras image classification model easily!
website
This is the website for the Cyber Security Society at Kingston University, London