Pinned Loading

1. xmss-jasmin xmss-jasmin Public

   Jasmin implementation of the eXtended Merkle Signature Scheme (XMSS) & proof of correctness in EasyCrypt

   eC 2

2. jasmin-preprocessor jasmin-preprocessor Public

   Jasmin Preprocessor

   Python

3. libjbn-sslh libjbn-sslh Public

   Constant-time big number library resistant to Spectre v1 written in Jasmin

   C

4. ruipedro16.github.io ruipedro16.github.io Public

   HTML

5. vscode-jasmin vscode-jasmin Public

   Forked from dsprenkels/vscode-jasmin

   basic syntax highlighting support for the jasmin domain-specific language

6. formosa-crypto/formosa-xmss formosa-crypto/formosa-xmss Public

   Jasmin implementations of XMSS

   eC 1