mirage / mirage-crypto
Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
☆78Updated 3 weeks ago
Alternatives and similar repositories for mirage-crypto:
Users that are interested in mirage-crypto are comparing it to the libraries listed below
- Simple hash algorithms in OCaml☆89Updated last week
- Tornado is a BitTorrent client written entirely in OCaml.☆56Updated last year
- Bindings to io_uring for OCaml☆61Updated 11 months ago
- Documentation of the OCaml implementation☆53Updated 2 years ago
- An opinionated implementation of the OpenVPN protocol☆79Updated last month
- Implementation of a matrix server in OCaml for MirageOS☆48Updated last year
- The official LLVM OCaml binding but built using dune☆25Updated 2 months ago
- OCaml bit vector library☆32Updated 6 months ago
- Letters is an OCaml library for creating and sending emails over SMTP using LWT☆54Updated 3 months ago
- Browser programming toolkit for OCaml☆101Updated 2 months ago
- Streamlining the release of dune packages to opam☆118Updated 3 weeks ago
- Just In Time compiler for OCaml native toplevel☆56Updated last year
- Monitor Eio programs☆78Updated last year
- Experimental model checker for testing concurrent algorithms☆33Updated 4 months ago
- Runtime assertion checking based on Gospel specifications☆45Updated last week
- Bigstring intrinsics and fast blits based on memcpy/memmove☆39Updated 9 months ago
- Ensure dune and opam dependencies are consistent☆43Updated 4 months ago
- An OCaml mutation tester☆66Updated this week
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆34Updated 2 weeks ago
- Purely functional SSH library in ocaml.☆103Updated this week
- OCaml Format pretty-printer combinators☆75Updated last month
- ocaml-protoc-plugin☆47Updated last year
- Logging infrastructure for OCaml☆86Updated last month
- Irmin-based Markdown Editor☆46Updated 2 years ago
- A benchmark suite for the OCaml compiler☆83Updated 8 months ago
- Various signed and unsigned integers for OCaml☆84Updated 2 years ago
- Realtime grep for OCaml/Coq sources available on opam☆82Updated 7 months ago
- Light library to deal with RPCs in OCaml☆97Updated last month
- Dependency graphs for OCaml modules, libraries and packages☆39Updated 9 months ago
- A small library to output memory graph for ocaml values☆37Updated 10 months ago