Skip to content
@jasmin-lang

jasmin-lang

Pinned Loading

  1. jasmin jasmin Public

    Language for high-assurance and high-speed cryptography

    Coq 271 55

Repositories

Showing 2 of 2 repositories
  • jasmin Public

    Language for high-assurance and high-speed cryptography

    jasmin-lang/jasmin’s past year of commit activity
    Coq 271 MIT 55 122 12 Updated Dec 3, 2024
  • coqword Public

    Yet Another Coq Library on Machine Words.

    jasmin-lang/coqword’s past year of commit activity
    Coq 9 MIT 7 1 0 Updated May 31, 2024

Top languages

Loading…

Most used topics

Loading…