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 3 years ago
Alternatives and similar repositories for hacl:
Users that are interested in hacl are comparing it to the libraries listed below
- Efficient Bloom filters for OCaml☆36Updated 3 years ago
- Fast websocket library for OCaml, based on angstrom/httpaf☆31Updated last year
- a distributed computing library for OCaml☆24Updated last year
- Medium weight threads - preemptive thread pools for Lwt☆31Updated 3 years ago
- Another way to describe mirage☆19Updated 5 years ago
- Dissect OCaml compiled programs, and weight their content☆24Updated 2 years ago
- ☆32Updated this week
- Infrastructure to collect metrics from OCaml applications.☆45Updated last year
- OCaml bindings to kqueue☆21Updated last year
- HTTP combinators for MirageOS☆12Updated 5 years ago
- Yet another type combinator library☆54Updated 2 years ago
- OCaml Ctypes stubs generation notes☆19Updated 5 years ago
- ☆14Updated 11 months ago
- OCaml implementation of the MQTT pubsub protocol.☆19Updated 4 years ago
- ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There's also a command-line tool provided.☆21Updated 2 months ago
- OCaml bindings for RocksDB☆21Updated last year
- Efficient caching library for OCaml☆33Updated last year
- OCaml library for resizable arrays and strings☆26Updated last month
- Convert file extensions to MIME types☆23Updated last year
- An OCaml library for describing Protobuf messages☆30Updated 4 years ago
- Websockets implementation for httpaf☆32Updated 5 years ago
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Updated 8 years ago
- Bisector tree implementation in OCaml☆25Updated 10 months ago
- Very simple gzip library for OCaml☆22Updated 3 years ago
- CUID generator for OCaml.☆18Updated 2 years ago
- A simple tool and library to embed files and directories inside an OCaml executables☆21Updated 2 years ago
- Easy OCaml scripts (unreleased)☆20Updated 2 weeks ago
- Portable implementation of the Irmin Watch API☆14Updated 7 months ago
- Software construction and deployment kit☆33Updated 2 weeks ago
- GRPC implementation in OCaml☆24Updated 2 years ago