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:
- Dissect OCaml compiled programs, and weight their content☆25Updated 2 years ago
- ☆32Updated 4 months ago
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Updated 8 years ago
- Fast websocket library for OCaml, based on angstrom/httpaf☆31Updated last year
- Medium weight threads - preemptive thread pools for Lwt☆31Updated 4 years ago
- a distributed computing library for OCaml☆24Updated last year
- Another way to describe mirage☆19Updated 5 years ago
- Efficient caching library for OCaml☆33Updated last year
- ☆14Updated last year
- OCaml library for resizable arrays and strings☆26Updated 5 months ago
- ImpFS, a new filesystem.☆20Updated 3 years ago
- OCaml bindings for RocksDB☆21Updated last year
- Infrastructure to collect metrics from OCaml applications.☆45Updated last week
- OCaml Ctypes stubs generation notes☆19Updated 6 years ago
- Easy OCaml scripts (unreleased)☆20Updated 4 months ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆39Updated 11 months ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Updated 9 months ago
- Bisector tree implementation in OCaml☆25Updated last year
- A simple tool and library to embed files and directories inside an OCaml executables☆21Updated 3 years ago
- A platform-agnostic multi-level index☆33Updated 3 months ago
- Efficient Bloom filters for OCaml☆38Updated 3 years ago
- Password based key derivation functions from PKCS#5, RFC 2898☆21Updated 11 months ago
- HTTP combinators for MirageOS☆12Updated 5 years ago
- Minimal support for Canonical S-expressions☆28Updated last year
- An OCaml library for describing Protobuf messages☆30Updated 4 years ago
- OCaml.org v3 data repository☆13Updated 3 years ago
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- Dig into an opam switch for doc☆10Updated 3 years ago
- Yet another type combinator library☆54Updated 3 years ago
- OCaml WebAssembly runtime powered by Wasmtime☆35Updated 3 years ago