KaRaMeL is a tool for extracting low-level F* programs to readable C code
-
Updated
Dec 25, 2024 - OCaml
#
f-star
Here are 2 public repositories matching this topic...
Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package. OCaml bindings for HACL* elliptic curves
-
Updated
Apr 23, 2021 - C
Improve this page
Add a description, image, and links to the f-star topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the f-star topic, visit your repo's landing page and select "manage topics."