4 search results for "author:"Virgile Robles""
Showing 1 - 4
-
frama-c
No documentation
Platform dedicated to the analysis of source code written in C31.0LGPL-2.1-onlyUsed by 5 other packages29 Jun 2025 -
frama-c-metacsl
No documentation
MetAcsl plugin of Frama-C for writing pervasives properties0.9~betaLGPL-2.1-onlyUsed by 0 other packages23 Jun 2025 -
mirage-crypto-ec
No documentation
Elliptic Curve Cryptography with primitives taken from Fiat2.0.1MITUsed by 7 other packages15 May 2025 -
Small PPX for fixed size integer literals1.0MITUsed by 0 other packages02 Nov 2022