Jasmin is a language and compiler for writing high-assurance and high-speed cryptographic implementations that prioritize efficiency, safety, correctness, and security. It is free software available through multiple package managers and has comprehensive documentation and community support.