Skip to content
@jasmin-lang

jasmin-lang

Pinned Loading

  1. jasmin jasmin Public

    Language for high-assurance and high-speed cryptography

    Rocq Prover 382 86

Repositories

Showing 3 of 3 repositories
  • jasmin Public

    Language for high-assurance and high-speed cryptography

    jasmin-lang/jasmin's past year of commit activity
    Rocq Prover 382 MIT 86 126 33 Updated Oct 19, 2026
  • coqword Public

    Yet Another Coq Library on Machine Words.

    jasmin-lang/coqword's past year of commit activity
    Rocq Prover 10 MIT 12 1 0 Updated Oct 13, 2026
  • tree-sitter-jasmin Public
    jasmin-lang/tree-sitter-jasmin's past year of commit activity
    JavaScript 4 MIT 2 0 0 Updated Oct 13, 2025

Top languages

Loading…

Most used topics

Loading…