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"
axiom
The dynamic infrastructure framework for everybody! Distribute the workload of many different scanning tools with ease, including nmap, ffuf, masscan, nuclei, meg and many more!
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.