GitHunt
CL

clebreto/jasmin

Language for high-assurance and high-speed cryptography

Jasmin

About

Jasmin denotes both a language and a compiler designed for
writing high-assurance and high-speed cryptography.

Information about the Jasmin compiler and the related tools
can be found in the wiki.

License

Jasmin is free software. All files in this distribution are, unless specified
otherwise, licensed under the MIT license.

Languages

Coq70.0%OCaml23.4%eC5.3%Shell0.4%Python0.3%C0.2%Makefile0.2%Nix0.1%Verilog0.0%V0.0%Dune0.0%Standard ML0.0%
MIT License
Created January 10, 2025
Updated January 16, 2025