GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ f-star
Top 1 f-star open source projects
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
✭ 21
c
ocaml
C++
Makefile
cryptography
elliptic-curves
verified
f-star
1-1
of
1
f-star projects