Similar repositories to haslab/ccomp-simd:
haslab/ccomp-simd
github
similar
haslab/libjbn
github
similar
formosa-crypto/libjbn
github
similar
jasmin-lang/cryptolib
github
similar
tfaoliveira/qhasm-translator
github
similar
SRI-CSL/high-assurance-crypto
github
similar
tfaoliveira/libjc
github
similar
fmlab-iis/cryptoline
github
similar
jasmin-lang/jasmin
github
similar
airbus-seclab/c-compiler-security
github
similar
hacspec/hacspec
github
similar
EasyCrypt/easycrypt
github
similar
encryptic-team/encryptic
github
similar
leanprover/lean
github
similar
BLAKE3-team/BLAKE3
github
similar
ARMmbed/mbedtls
github
similar
joeyespo/grip
github
similar
keybase/client
github
similar