mirage / haclLinks
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
Sorting:
- Infrastructure to collect metrics from OCaml applications.☆46Updated 6 months ago
- a distributed computing library for OCaml☆24Updated last year
- Fast websocket library for OCaml, based on angstrom/httpaf☆31Updated 2 years ago
- OCaml library for resizable arrays and strings☆26Updated 3 weeks ago
- Define Grafana dashboards with ReasonML☆18Updated 5 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Updated 9 years ago
- Encoding primitives for Dream applications.☆17Updated last year
- CSS Typed functional interface in jsoo, bindings to inline styles and emotion☆12Updated 2 years ago
- OCaml bindings to kqueue☆21Updated last year
- Lwt-compatible IMAP4rev1 client library for OCaml☆41Updated 4 years ago
- Dissect OCaml compiled programs, and weight their content☆25Updated 3 years ago
- ☆34Updated 9 months ago
- Easy OCaml scripts (unreleased)☆20Updated 4 months ago
- Medium weight threads - preemptive thread pools for Lwt☆30Updated 4 years ago
- OCaml bindings for RocksDB☆22Updated 2 years ago
- Portable implementation of the Irmin Watch API☆14Updated last year
- Websockets implementation for httpaf☆32Updated 6 years ago
- OCaml bindings for the PKCS#11 cryptographic API☆23Updated 2 years ago
- A platform-agnostic multi-level index☆33Updated 2 months ago
- OCaml implementation of the MQTT pubsub protocol.☆19Updated 5 years ago
- ☆15Updated last year
- Bisector tree implementation in OCaml☆25Updated last year
- Password based key derivation functions from PKCS#5, RFC 2898☆21Updated last year
- ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There's also a command-line tool provided.☆21Updated 3 months ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆40Updated 5 months ago
- Elliptic Curve Diffie-Hellman on Edwards Curves (X25519, X448)☆11Updated 5 years ago
- Very simple gzip library for OCaml☆22Updated 4 years ago
- Elliptic Curves Cryptography for OCaml☆12Updated 6 years ago
- An Irmin backend for a web browser's IndexedDB store☆33Updated 11 months ago