Pinned Repositories
easycrypt-doc
EasyCrypt documentation
ec-tactics
Temporary repository for documenting / unit testing the full set of EasyCrypt tactics
jasmin
Language for high-assurance and high-speed cryptography
jasmin-preprocessor
Jasmin Preprocessor
libjbn
BigNums library for Jasmin
libjbn-sslh
Constant-time big number library resistant to Spectre v1 written in Jasmin
PG
This repo is the new home of Proof General
ruipedro16.github.io
vscode-jasmin
basic syntax highlighting support for the jasmin domain-specific language
xmss-jasmin
Jasmin implementation of the eXtended Merkle Signature Scheme (XMSS)
ruipedro16's Repositories
ruipedro16/xmss-jasmin
Jasmin implementation of the eXtended Merkle Signature Scheme (XMSS)
ruipedro16/easycrypt-doc
EasyCrypt documentation
ruipedro16/ec-tactics
Temporary repository for documenting / unit testing the full set of EasyCrypt tactics
ruipedro16/jasmin
Language for high-assurance and high-speed cryptography
ruipedro16/jasmin-preprocessor
Jasmin Preprocessor
ruipedro16/libjbn
BigNums library for Jasmin
ruipedro16/libjbn-sslh
Constant-time big number library resistant to Spectre v1 written in Jasmin
ruipedro16/PG
This repo is the new home of Proof General
ruipedro16/ruipedro16.github.io
ruipedro16/sphincsplus-jasmin
The SPHINCS+ code in Jasmin
ruipedro16/vscode-jasmin
basic syntax highlighting support for the jasmin domain-specific language
ruipedro16/E
ruipedro16/easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
ruipedro16/ec-to-rs
ruipedro16/hax
A Rust verification tool
ruipedro16/V