f-star

There are 2 repositories under f-star topic.

  • FStarLang/karamel

    KaRaMeL is a tool for extracting low-level F* programs to readable C code

    Language:OCaml4034316361

  • mirage/hacl

    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

    Language:C2022145