mirage / mirage-cryptoLinks
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
Sorting:
- Simple hash algorithms in OCaml☆90Updated 2 weeks ago
- Documentation of the OCaml implementation☆53Updated 2 years ago
- Bindings to io_uring for OCaml☆62Updated last year
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆36Updated last week
- A CI for OCaml projects☆112Updated last week
- Streamlining the release of dune packages to opam☆118Updated 2 months 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…☆187Updated 2 months ago
- A library of cryptographic primitives (ciphers, hashes, etc) for OCaml☆101Updated 4 months ago
- Monitor Eio programs☆78Updated last year
- Runtime assertion checking based on Gospel specifications☆46Updated last week
- OCaml Format pretty-printer combinators☆75Updated this week
- Using OCaml + gRPC via Envoy☆40Updated 4 years ago
- Dependency graphs for OCaml modules, libraries and packages☆39Updated 10 months ago
- An opinionated implementation of the OpenVPN protocol☆79Updated 2 months ago
- [@@deriving] plugin to generate Yojson conversion functions☆66Updated 3 weeks ago
- OCaml bit vector library☆34Updated this week
- Experimental model checker for testing concurrent algorithms☆36Updated 5 months ago
- ☆49Updated 4 years ago
- Show the internal dependencies in your OCaml/Reason/Dune project☆60Updated last month
- A tool-agnostic formal specification language for OCaml.☆144Updated 4 months ago
- OCaml cryptographic library☆111Updated 5 years ago
- Light library to deal with RPCs in OCaml☆97Updated 2 months ago
- Agnostic benchmark in OCaml (proof-of-concept)☆43Updated 11 months ago
- Logging infrastructure for OCaml☆86Updated 2 months ago
- A Deductive Verification Tool for OCaml Programs☆73Updated 2 weeks ago
- Multiparty Session Types in OCaml☆60Updated 7 months ago
- Various signed and unsigned integers for OCaml☆84Updated 2 years ago
- Implementation of a matrix server in OCaml for MirageOS☆48Updated last year
- OCaml library for reporting metrics to a Prometheus server☆53Updated last year
- Map OCaml arrays onto C-like structs☆108Updated 3 months ago