Rui Fernandes's repositories
crypto-specs
EasyCrypt specifications of crypto primitives
Language:eCCC0-1.0000
jasmin
Language for high-assurance and high-speed cryptography
Language:CoqMIT000
jasmin-preprocessor
Jasmin Preprocessor
Language:Python000
libjade
Crypto library
Language:CNOASSERTION000
libjbn-sslh
Jasmin big number library resistant to Spectre v1 attacks
Language:C000
Language:HTML000
vscode-jasmin
basic syntax highlighting support for the jasmin domain-specific language
MIT000
xmss-jasmin
Jasmin implementation of the eXtended Merkle Signature Scheme (XMSS)
Language:eC000