https://github.com/sri-csl/cococrypt

EasyCrypt code extraction tool
https://github.com/sri-csl/cococrypt

Last synced: about 1 month ago
JSON representation

EasyCrypt code extraction tool

• Host: GitHub
• URL: https://github.com/sri-csl/cococrypt
• Owner: SRI-CSL
• License: mit
• Created: 2022-01-28T01:34:49.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2023-08-30T19:28:07.000Z (over 1 year ago)
• Last Synced: 2025-04-13T12:27:57.079Z (about 1 month ago)
• Language: OCaml
• Size: 21.5 KB
• Stars: 0
• Watchers: 15
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# EasyCrypt code extraction tool

EasyCrypt to OCaml extraction tool, focused on the functional core of EasyCrypt. It takes as input an EasyCrypt script and produces a `WhyML` file that matches the EasyCrypt file (and appropriate dependencies). Finally, it is possible to obtain verified `OCaml` code by relying on `Why3` own extraction mechanism.