Pinned Loading

1. tamarin-rs tamarin-rs Public

   Rust port of the Tamarin Prover

   Rust 9 2

2. tamarin-prover/tamarin-prover tamarin-prover/tamarin-prover Public

   Main source code repository of the Tamarin prover for security protocol verification.

   Haskell 545 168

3. Quantinuum/cryptomite Quantinuum/cryptomite Public

   Python library of efficient and numerically-precise randomness extractors

   Python 36 10

4. sfluhrer/ml-kem-security-considerations sfluhrer/ml-kem-security-considerations Public

   This is intended to be the CFRG draft containing security considerations for ML-KEM

   Makefile 3 10

5. TLS13Tamarin TLS13Tamarin Public

   Forked from tls13tamarin/TLS13Tamarin

   This is a Tamarin model of TLS 1.3

   M4 1

6. tamarin-prover/homebrew-tap tamarin-prover/homebrew-tap Public

   Homebrew tap for installing the Tamarin prover

   Ruby 4 7