Popular repositories Loading

1. ReferenceManager ReferenceManager Public

   This tool helps in generating citation keys and duplicates within a non latex text.

   Python 1

2. marcoCalipari marcoCalipari Public

3. volePlayground volePlayground Public

   Python

4. tamarin-prover tamarin-prover Public

   Forked from tamarin-prover/tamarin-prover

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

   Haskell

5. Rsazkp Rsazkp Public

   Forked from GarryFCR/Rsa_Zkp

   An Efficient and Privacy preserving implementation for the Set membership problem using Rsa Accumulators coupled with Commit-Prove-Snark

   Go

6. smimesign smimesign Public

   Forked from github/smimesign

   An S/MIME signing utility for use with Git

   Go