1 search result for "author:"Virgile Robles <virgile.robles@protonmail.ch>""

Showing 1 - 1
  1. mirage-crypto-ec

    No documentation

    Elliptic Curve Cryptography with primitives taken from Fiat
    org:mirage
    Hannes Mehnert <hannes@mehnert.org> Nathan Rebours <nathan.p.rebours@gmail.com> Clément Pascutto <clement@tarides.com> Etienne Millon <me@emillon.org> Virgile Robles <virgile.robles@protonmail.ch> et al.
    2.0.3
    MIT
    Used by 8 other packages
    11 Feb 2026