Jorden Whitefield's repositories
kali-docker
Kali Docker with X11 window forwarding. Just run make all!
tamarin-models
Tamarin files associated with my thesis "Formal Analysis and Applications of Direct Anonymous Attestation"
editor-sublime
Repository for text editor (sublime) syntax highlighting
homebrew-cask
A CLI workflow for the administration of Mac applications distributed as binaries
homebrew-core
:beers::penguin: Core formulae for the Linuxbrew package manager
homebrew-science
:beer::microscope: Scientific formulae for the Homebrew package manager
homebrew-tap
Homebrew tap for installing the Tamarin prover
lordqwerty.github.io
Personal website to present my contributions to the field of security
mastering-emacs-in-one-year-guide
Be great at emacs in one year
package_control_channel
Default channel file for Package Control. Follow the directions at:
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
tamarin-prover.github.io
Source repository for the tamarin-prover.github.io github pages.