Python implementations for CryptoVerif 1.23 (outdated)
-
Updated
Oct 12, 2016 - OCaml
Python implementations for CryptoVerif 1.23 (outdated)
This is a playground of different code extraction techniques used that might be needed for data preprocessing in machine learning
Transforming images into code at a click. Upload a photo or screenshot and copy the code to your script in seconds!
Add a description, image, and links to the code-extraction topic page so that developers can more easily learn about it.
To associate your repository with the code-extraction topic, visit your repo's landing page and select "manage topics."