Pinned Repositories
bazel-clang-analyzer
Scripts for running clang analyzer with the bazel build system
dnp3models
go-httpwares
Go HTTP Server Middleware and Client Tripperware
grpc-web
gRPC Web implementation for Golang and TypeScript
homebrew-tap
Homebrew tap for installing the Tamarin prover
iNDS
Revival of the Nintendo DS emulator for iOS
koboldcpp
A simple one-file way to run various GGML models with KoboldAI's UI
manual
Pandoc version of manual
TLS13Tamarin
This is a Tamarin model of TLS 1.3
kmilner's Repositories
kmilner/TLS13Tamarin
This is a Tamarin model of TLS 1.3
kmilner/bazel-clang-analyzer
Scripts for running clang analyzer with the bazel build system
kmilner/dnp3models
kmilner/go-httpwares
Go HTTP Server Middleware and Client Tripperware
kmilner/grpc-web
gRPC Web implementation for Golang and TypeScript
kmilner/homebrew-tap
Homebrew tap for installing the Tamarin prover
kmilner/iNDS
Revival of the Nintendo DS emulator for iOS
kmilner/koboldcpp
A simple one-file way to run various GGML models with KoboldAI's UI
kmilner/manual
Pandoc version of manual
kmilner/tamarin-binaries
Binary files
kmilner/tamarin-prover
Main repository of the Tamarin prover for security protocol verification.
kmilner/tamarin-tester
Testing utility for the Tamarin Theorem Prover
kmilner/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.
kmilner/USG-DNS-ADBLOCK
kmilner/WireGuard
Mirror only. Official repository is at https://git.zx2c4.com/WireGuard