Kevin Milner's repositories
TLS13Tamarin
This is a Tamarin model of TLS 1.3
bazel-clang-analyzer
Scripts for running clang analyzer with the bazel build system
go-httpwares
Go HTTP Server Middleware and Client Tripperware
homebrew-tap
Homebrew tap for installing the Tamarin prover
koboldcpp
A simple one-file way to run various GGML models with KoboldAI's UI
Language:CAGPL-3.0000
tamarin-binaries
Binary files
000
tamarin-prover
Main repository of the Tamarin prover for security protocol verification.
tamarin-tester
Testing utility for the Tamarin Theorem Prover
Language:PythonGPL-3.0000
TamperWords
Download software, check the words on screen match those on the website. If they don't match, your download may have been tampered with.
Language:Shell000
WireGuard
Mirror only. Official repository is at https://git.zx2c4.com/WireGuard
GPL-2.0000