jasmin

Compiler for High-Assurance and High-Speed Cryptography
Description

Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin implementations aim at being efficient, safe, correct, and secure.

Install
Published
13 Oct 2022
Authors
Maintainers
Sources
jasmin-compiler-v2022.09.0.tar.bz2
sha256=4223a70e1875548e5ce80678feec0b7460643fbe87c4de1c7e73c90f84768650
Dependencies
yojson >= "1.6.0"
apron >= "v0.9.12"
zarith >= "1.9.0"
menhir >= "20160825" & build
batteries >= "3.4.0"
ocaml >= "4.08.0" & build
Reverse Dependencies