f-star topic
List
f-star repositories
karamel
388
Stars
59
Forks
Watchers
KaRaMeL is a tool for extracting low-level F* programs to readable C code
hacl
21
Stars
6
Forks
Watchers
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