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
☆20Updated 4 years ago
Alternatives and similar repositories for hacl:
Users that are interested in hacl are comparing it to the libraries listed below
- a distributed computing library for OCaml☆24Updated last year
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Updated 8 years ago
- Medium weight threads - preemptive thread pools for Lwt☆31Updated 3 years ago
- Dissect OCaml compiled programs, and weight their content☆25Updated 2 years ago
- OCaml bindings to kqueue☆21Updated last year
- ☆32Updated 2 months ago
- ☆14Updated last year
- Very simple gzip library for OCaml☆22Updated 3 years ago
- Another way to describe mirage☆19Updated 5 years ago
- HTTP combinators for MirageOS☆12Updated 5 years ago
- Efficient Bloom filters for OCaml☆37Updated 3 years ago
- A client side load balancing library for ocaml☆18Updated 6 years ago
- OCaml Ctypes stubs generation notes☆19Updated 6 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆39Updated 9 months ago
- ImpFS, a new filesystem.☆20Updated 3 years ago
- Infrastructure to collect metrics from OCaml applications.☆45Updated 2 months ago
- Pure & Incomplete STUN protocol in OCaml☆14Updated 2 years ago
- ocamldoc comment syntax parser☆18Updated 5 years ago
- Lookup and load installed OCaml modules☆16Updated 3 months ago
- OCaml library for resizable arrays and strings☆26Updated 3 months ago
- OCaml implementation of the MQTT pubsub protocol.☆19Updated 4 years ago
- Convert file extensions to MIME types☆23Updated last year
- Conjures up convenient OCaml types and serialization functions based on protobuf definition files☆19Updated 4 years ago
- compatibility package for the standard OCaml iterator type☆11Updated 2 years ago
- Encoding primitives for Dream applications.☆17Updated 6 months ago
- Elliptic Curve Diffie-Hellman on Edwards Curves (X25519, X448)☆11Updated 4 years ago
- Fast websocket library for OCaml, based on angstrom/httpaf☆31Updated last year
- Password based key derivation functions from PKCS#5, RFC 2898☆21Updated 9 months ago
- Define your Dream router with Routes☆19Updated 3 years ago
- [@@ deriving] plugin to generate Cmdliner sub-command groups, and ppx rewriter to generate Cmdliner evaluations.☆16Updated last year