Skip to content

@jasmin-lang jasmin-lang

Change the repository type filter

All

    Repositories list

    2 repositories

    • jasmin

      Public
      Language for high-assurance and high-speed cryptography
      languagecoqcompiler
      Coq
      •
      MIT License
      •59•284•120•12•Updated Mar 7, 2025Mar 7, 2025

    • coqword

      Public
      Yet Another Coq Library on Machine Words.
      Coq
      •
      MIT License
      •7•9•1•0•Updated May 31, 2024May 31, 2024