Beast code in Giters

Tiago Oliveira's repositories

Language:eC19 10 2

x86 qhasm to C translator (powered by Perl)

Language:AssemblyGPL-3.010 40

Jasmin examples

Language:eC1 30

The SPHINCS+ code in Jasmin

Language:CNOASSERTION100

Language:OCamlMIT010

Language:CNOASSERTION010

EasyCrypt: Computer-Aided Cryptographic Proofs

Language:OCamlMIT000

Language:eC010

Language:eCCC0-1.0010

Language:CApache-2.0030

flip (++) " + some experiments." "Always up-to-date mirror of the SUPERCOP cryptographic benchmark"

Language:C010

Language:Shell000