lordqwerty
Follow
-
lordqwerty.github.io Public
Personal website to present my contributions to the field of security
HTML UpdatedDec 18, 2022 -
-
axiom Public
Forked from pry0cc/axiomThe dynamic infrastructure framework for everybody! Distribute the workload of many different scanning tools with ease, including nmap, ffuf, masscan, nuclei, meg and many more!
Shell MIT License UpdatedApr 21, 2021 -
homebrew-tap Public
Forked from tamarin-prover/homebrew-tapHomebrew tap for installing the Tamarin prover
Ruby UpdatedJun 20, 2020 -
tamarin-prover.github.io Public
Forked from tamarin-prover/tamarin-prover.github.ioSource repository for the tamarin-prover.github.io github pages.
HTML UpdatedApr 27, 2020 -
kali-docker Public
Kali Docker with X11 window forwarding. Just run make all!
-
tamarin-prover Public
Forked from tamarin-prover/tamarin-proverMain source code repository of the Tamarin prover for security protocol verification.
Haskell GNU General Public License v3.0 UpdatedNov 11, 2019 -
tamarin-models Public
Tamarin files associated with my thesis "Formal Analysis and Applications of Direct Anonymous Attestation"
-
manual Public
Forked from tamarin-prover/manualTamarin prover manual: source files
JavaScript UpdatedJun 4, 2019 -
-
package_control_channel Public
Forked from wbond/package_control_channelDefault channel file for Package Control. Follow the directions at:
Python UpdatedNov 2, 2018 -
editor-sublime Public
Forked from tamarin-prover/editor-sublimeRepository for text editor (sublime) syntax highlighting
Python GNU General Public License v3.0 UpdatedOct 4, 2018 -
easycrypt Public
Forked from EasyCrypt/easycryptEasyCrypt: Computer-Aided Cryptographic Proofs
OCaml Other UpdatedSep 25, 2018 -
mastering-emacs-in-one-year-guide Public
Forked from redguardtoo/mastering-emacs-in-one-year-guideBe great at emacs in one year
UpdatedSep 5, 2018 -
-
-
SRS-LaTeX Public
LaTeX book template for a Software Requirements Specification based off the IEEE standards
-
homebrew-science Public
Forked from ahmadia/homebrew-science🍺🔬 Scientific formulae for the Homebrew package manager
Ruby Other UpdatedJun 5, 2017 -
homebrew-core Public
Forked from sjackman/linuxbrew-core🍻🐧 Core formulae for the Linuxbrew package manager
Ruby BSD 2-Clause "Simplified" License UpdatedApr 26, 2017 -
homebrew-cask Public
Forked from Homebrew/homebrew-caskA CLI workflow for the administration of Mac applications distributed as binaries
Ruby BSD 2-Clause "Simplified" License UpdatedFeb 25, 2017 -
ltsmin Public
Forked from utwente-fmt/ltsminThe LTSmin model checking toolset
C BSD 3-Clause "New" or "Revised" License UpdatedOct 16, 2015 -