Skip to content
/ jasmin Public
forked from jasmin-lang/jasmin

Language for high-assurance and high-speed cryptography

License

Notifications You must be signed in to change notification settings

haslab/jasmin

 
 

Repository files navigation

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.

About

Language for high-assurance and high-speed cryptography

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Coq 69.1%
  • OCaml 24.0%
  • eC 5.6%
  • Shell 0.4%
  • Python 0.4%
  • C 0.2%
  • Other 0.3%