KaRaMeL is a tool for extracting low-level F* programs to readable C code
-
Updated
Sep 21, 2026 - 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
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."