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.
Reference documentation of the language and compiler are on readthedocs.
Jasmin is free software. All files in this distribution are, unless specified
otherwise, licensed under the MIT license.
The documentation (under docs/) is licensed separately from the
compiler, under the CC-BY 4.0.