mirage / mirage-crypto
Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
☆78Updated 2 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 2 months ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆34Updated 4 months ago
- Bindings to io_uring for OCaml☆61Updated 10 months ago
- Documentation of the OCaml implementation☆53Updated 2 years ago
- Streamlining the release of dune packages to opam☆118Updated last month
- Dependency graphs for OCaml modules, libraries and packages☆38Updated 8 months ago
- An opinionated implementation of the OpenVPN protocol☆79Updated 3 weeks ago
- Monitor Eio programs☆78Updated last year
- OCaml Format pretty-printer combinators☆75Updated 2 weeks ago
- Logging infrastructure for OCaml☆86Updated 2 weeks ago
- Implementation of a matrix server in OCaml for MirageOS☆48Updated last year
- Tornado is a BitTorrent client written entirely in OCaml.☆56Updated last year
- OCaml interface for creating Dockerfiles☆66Updated 3 months ago
- Ensure dune and opam dependencies are consistent☆42Updated 3 months ago
- A library of cryptographic primitives (ciphers, hashes, etc) for OCaml☆100Updated 2 months ago
- The official LLVM OCaml binding but built using dune☆25Updated last month
- Runtime assertion checking based on Gospel specifications☆45Updated last week
- The best way for developers to write software in OCaml☆61Updated last year
- A CI for OCaml projects☆112Updated this week
- Various signed and unsigned integers for OCaml☆84Updated 2 years ago
- Just In Time compiler for OCaml native toplevel☆56Updated last year
- Light library to deal with RPCs in OCaml☆97Updated 2 weeks ago
- OCaml SSL bindings.☆57Updated 4 months ago
- A tool-agnostic formal specification language for OCaml.☆140Updated last month
- Letters is an OCaml library for creating and sending emails over SMTP using LWT☆54Updated 2 months ago
- Fast, safe and composable streaming abstractions.☆112Updated 4 months ago
- ocaml-protoc-plugin☆47Updated last year
- Bigstring intrinsics and fast blits based on memcpy/memmove☆39Updated 8 months ago
- Experimental model checker for testing concurrent algorithms☆33Updated 3 months ago
- A high performance, memory efficient, and scalable web server written in OCaml☆57Updated 4 months ago