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
28 Jun 2022
Sources
jasmin-compiler-v2022.04.0.tar.bz2
sha256=5ad8a9a71a320c1ce8b89c8c70dbcffa0e8ae0e07a605cf16d12d564c8a5c379
Dependencies
yojson
>= "1.6.0"
apron
>= "v0.9.12"
zarith
>= "1.9.0"
menhir
>= "20160825" & build
batteries
>= "3.2.0"
ocaml
>= "4.08.0" & build
Reverse Dependencies