4 search results for "author:"Virgile Robles""

Showing 1 - 4
  1. frama-c

    No documentation

    31.0
    LGPL-2.1-only
    Used by 5 other packages
    29 Jun 2025
  2. frama-c-metacsl

    No documentation

    0.9~beta
    LGPL-2.1-only
    Used by 0 other packages
    23 Jun 2025
  3. mirage-crypto-ec

    No documentation

    2.0.1
    MIT
    Used by 7 other packages
    15 May 2025
  4. Small PPX for fixed size integer literals
    1.0
    MIT
    Used by 0 other packages
    02 Nov 2022