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
      •53•250•117•8•Updated Sep 30, 2024Sep 30, 2024

    • coqword

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