Saul Johnson's repositories
zero-width-js
Proof-of-concept for an 'invisible' JavaScript payload.
probability
Probabilistic computation in Idris
ubuntu-bionic-box
Plain Vagrant box with Ubuntu 18.04 Bionic Beaver with desktop system installed.
bootstrap-waitingfor
"Waiting for..." modal dialog with progress bar for Bootstrap
counterpoint
A program create the corresponding counterpoint given a cantus firmus
django-base
Basic Django project for a simple website.
euterpea-converter
Converts MusicXML files to Euterpea Haskell code.
flatfolio
Flat file art e-portfolio.
gingami
GDI+ is not game middleware! But let's try to use it as something like that anyway.
idris-integration
Riemann approximation of integrals in Idris.
isabelle-utp-box
Ubuntu 18.04 Bionic Beaver with Isabelle/UTP installed and ready to go.
leap-day
Leap day is a Jekyll theme for GitHub Pages
learning-from-disaster
Using a neural network to predict disaster survival.
pontoon
Mini deployment system.
schedulability-analyzer
Deadline monotonic schedulability analyzer in CoffeeScript.
silex-base
Basic Silex project for a simple website.
sync-or-simple
A simple background sync from HTML form to server-side file.
useful-bash-things
A collection of Bash scripts and snippets that I find useful.
zxcvbn
Low-Budget Password Strength Estimation