8 search results for "tag:"uv""

Showing 1 - 8
  1. 0.0.1
    MIT
    Used by 1 other packages
    21 Dec 2023
  2. Published protocols for the authenticated message exchange
    0.1.0
    Apache-2.0
    Used by 0 other packages
    17 Jun 2021
  3. The formally verified KBB2017 protocol for 1-on-1 secure conversations similar to the Signal Protocol
    0.1.0
    Apache-2.0
    Used by 1 other packages
    17 Jun 2021
  4. OCaml-ified interfaces for the ProScript Cryptography Library
    0.1.0
    Apache-2.0
    Used by 2 other packages
    17 Jun 2021
  5. Mirage crypto backed implementation of the ProScript Cryptography Library
    0.1.0
    Apache-2.0
    Used by 1 other packages
    17 Jun 2021
  6. 0.1.0
    Apache-2.0
    Used by 0 other packages
    17 Jun 2021
  7. 0.1.0
    MIT
    Used by 0 other packages
    23 Dec 2023
  8. 0.3.3
    MIT
    Used by 2 other packages
    29 Aug 2018