https://github.com/jasmin-lang/jasmin

Language for high-assurance and high-speed cryptography
https://github.com/jasmin-lang/jasmin

compiler coq language

Last synced: 10 months ago
JSON representation

Language for high-assurance and high-speed cryptography

• Host: GitHub
• URL: https://github.com/jasmin-lang/jasmin
• Owner: jasmin-lang
• License: mit
• Created: 2017-01-05T02:39:56.000Z (about 9 years ago)
• Default Branch: main
• Last Pushed: 2025-05-15T09:51:24.000Z (10 months ago)
• Last Synced: 2025-05-15T10:27:19.570Z (10 months ago)
• Topics: compiler, coq, language
• Language: Coq
• Homepage:
• Size: 20.5 MB
• Stars: 292
• Watchers: 11
• Forks: 63
• Open Issues: 133
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE
  • Authors: AUTHORS

Awesome Lists containing this project

• awesome-coq - Jasmin - Formalized language and verified compiler for high-assurance and high-speed cryptography. (Projects / Verified Software)

README

          
# 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](https://github.com/jasmin-lang/jasmin/wiki).

## License

Jasmin is free software. All files in this distribution are, unless specified

otherwise, licensed under the [MIT license](LICENSE).