f-star

There are 1 repository under f-star topic.

• FStarLang / karamel

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

  verificationproofscryptographyc-languagef-star
  Language:OCaml 384

• 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

  ocamlcryptographyelliptic-curvesf-starverified
  Language:C 21