Skip to content
@jasmin-lang

jasmin-lang

Pinned Loading

  1. jasmin jasmin Public

    Language for high-assurance and high-speed cryptography

    Coq 290 63

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 290 MIT 63 121 10 Updated Apr 21, 2025
  • coqword Public

    Yet Another Coq Library on Machine Words.

    jasmin-lang/coqword’s past year of commit activity
    Coq 9 MIT 8 1 0 Updated Mar 25, 2025

Top languages

Loading…

Most used topics

Loading…