mirage / mirage-cryptoLinks
Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
☆81Updated 2 months ago
Alternatives and similar repositories for mirage-crypto
Users that are interested in mirage-crypto are comparing it to the libraries listed below
Sorting:
- Simple hash algorithms in OCaml☆90Updated last month
- An opinionated implementation of the OpenVPN protocol☆79Updated 4 months ago
- Bindings to io_uring for OCaml☆62Updated last year
- Streamlining the release of dune packages to opam☆118Updated 3 months ago
- A CI for OCaml projects☆113Updated last month
- Monitor Eio programs☆78Updated last year
- Documentation of the OCaml implementation☆53Updated 2 years ago
- drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with…☆190Updated 3 months ago
- Dependency graphs for OCaml modules, libraries and packages☆39Updated last year
- A library of cryptographic primitives (ciphers, hashes, etc) for OCaml☆102Updated 6 months ago
- Irmin-based Markdown Editor☆48Updated 2 years ago
- OCaml Format pretty-printer combinators☆75Updated last month
- Realtime grep for OCaml/Coq sources available on opam☆85Updated 10 months ago
- Browser programming toolkit for OCaml☆102Updated last week
- Just In Time compiler for OCaml native toplevel☆58Updated last year
- Logging infrastructure for OCaml☆87Updated last week
- A high performance, memory efficient, and scalable web server written in OCaml☆57Updated 7 months ago
- The best way for developers to write software in OCaml☆61Updated last year
- Experimental model checker for testing concurrent algorithms☆36Updated 7 months ago
- Implementation of a matrix server in OCaml for MirageOS☆48Updated 2 years ago
- Letters is an OCaml library for creating and sending emails over SMTP using LWT☆54Updated 6 months ago
- Various signed and unsigned integers for OCaml☆84Updated 2 years ago
- Show the internal dependencies in your OCaml/Reason/Dune project☆60Updated 2 months ago
- Runtime assertion checking based on Gospel specifications☆46Updated last week
- Ensure dune and opam dependencies are consistent☆43Updated 7 months ago
- MirageOS on RPi4☆63Updated 2 years ago
- Progress bar library for OCaml☆141Updated last month
- Ocaml library to access Amazon S3☆50Updated 3 weeks ago
- Using OCaml + gRPC via Envoy☆40Updated 4 years ago
- Native OCaml bindings to Gitlab REST API v4☆25Updated 4 months ago