Giters

tankf33der / monocypher-hacl

run HACL* C code against Monocypher and TIS-CI

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

monocypherhaclcryptographyhacl-startis-citis

TrustInSoft CI

Check HACL* C crypto code against Monocypher and TIS-CI.

  • Latest monocypher
  • HACL* v0.3.0 (c89-compatible)

About

run HACL* C code against Monocypher and TIS-CI

monocypherhaclcryptographyhacl-startis-citis

License:Other

Languages

Language:C 99.5%Language:C++ 0.3%Language:PicoLisp 0.1%Language:Makefile 0.0%