-
xmss-jasmin Public
Jasmin implementation of the eXtended Merkle Signature Scheme (XMSS)
-
ec-tactics Public
Forked from EasyCrypt/ec-tacticsTemporary repository for documenting / unit testing the full set of EasyCrypt tactics
JavaScript UpdatedSep 26, 2024 -
easycrypt Public
Forked from EasyCrypt/easycryptEasyCrypt: Computer-Aided Cryptographic Proofs
OCaml MIT License UpdatedSep 25, 2024 -
easycrypt-doc Public
Forked from EasyCrypt/easycrypt-docEasyCrypt documentation
TeX UpdatedSep 7, 2024 -
PG Public
Forked from ProofGeneral/PGThis repo is the new home of Proof General
Emacs Lisp GNU General Public License v3.0 UpdatedSep 6, 2024 -
-
jasmin Public
Forked from jasmin-lang/jasminLanguage for high-assurance and high-speed cryptography
Coq MIT License UpdatedAug 30, 2024 -
-
sphincsplus-jasmin Public
Forked from tfaoliveira/sphincsplus-jasminThe SPHINCS code in Jasmin
C UpdatedAug 13, 2024 -
-
vscode-jasmin Public
Forked from dsprenkels/vscode-jasminbasic syntax highlighting support for the jasmin domain-specific language
MIT License UpdatedMay 1, 2024 -
libjbn-sslh Public
Constant-time big number library resistant to Spectre v1 written in Jasmin
C UpdatedFeb 13, 2024