Skip to content
Change the repository type filter

All

    Repositories list

    • jasmin

      Public
      Language for high-assurance and high-speed cryptography
      Coq
      MIT License
      5627012013Updated Nov 16, 2024Nov 16, 2024
    • coqword

      Public
      Yet Another Coq Library on Machine Words.
      Coq
      MIT License
      7910Updated May 31, 2024May 31, 2024