mirage / mirage-crypto
Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
☆77Updated last month
Related projects: ⓘ
- An opinionated implementation of the OpenVPN protocol☆78Updated last month
- Simple hash algorithms in OCaml☆87Updated 5 months ago
- Documentation of the OCaml implementation☆53Updated last year
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆29Updated 3 weeks ago
- Bindings to io_uring for OCaml☆62Updated 4 months ago
- Basic control of ANSI compliant terminals and the windows shell.☆45Updated 8 months ago
- Monitor Eio programs☆78Updated 6 months ago
- Streamlining the release of dune packages to opam☆116Updated last month
- A CI for OCaml projects☆112Updated last week
- Implementation of SMTP protocols in OCaml☆43Updated this week
- Implementation of a matrix server in OCaml for MirageOS☆49Updated last year
- OCaml Format pretty-printer combinators☆71Updated 7 months ago
- ocaml-protoc-plugin☆48Updated 6 months ago
- OCaml interface for creating Dockerfiles☆65Updated 2 weeks ago
- Dependency graphs for OCaml modules, libraries and packages☆33Updated 2 months ago
- A simple scheduler for OCaml 5☆91Updated last week
- The official LLVM OCaml binding but built using dune☆26Updated 3 months ago
- A Deductive Verification Tool for OCaml Programs☆58Updated 2 months ago
- A library that makes it nicer to work with nested functional data structures☆53Updated 3 weeks ago
- Using OCaml + gRPC via Envoy☆42Updated 3 years ago
- Runtime assertion checking based on Gospel specifications☆37Updated 2 weeks ago
- Light library to deal with RPCs in OCaml☆95Updated 6 months ago
- Logging infrastructure for OCaml☆86Updated last week
- Tornado is a BitTorrent client written entirely in OCaml.☆56Updated 7 months ago
- Realtime grep for OCaml/Coq sources available on opam☆78Updated 2 weeks ago
- Progress bar library for OCaml☆135Updated 2 months ago
- OCaml plus Jane Street extensions☆73Updated 2 months ago
- A Yojson codec generator for OCaml.☆155Updated last month
- Fast, safe and composable streaming abstractions.☆108Updated 2 years ago
- Show the internal dependencies in your OCaml/Reason/Dune project☆59Updated last year