Alternatives and similar repositories for ocaml-certify

Users that are interested in ocaml-certify are comparing it to the libraries listed below

• nojb / ocaml-imap
  Lwt-compatible IMAP4rev1 client library for OCaml
  ☆40Updated 4 years ago
• andreas / mirage-swim
  Membership protocol for Mirage unikernel clusters based on SWIM
  ☆18Updated 9 years ago
• samoht / mirage-seal
  Sealing local directories into Mirage Unikernels
  ☆27Updated 9 years ago
• mirage / ptt
  Postes, Télégraphes et Téléphones
  ☆28Updated 3 months ago
• mor1 / ocaml-tftp
  ☆18Updated 9 years ago
• robur-coop / conex
  establish trust in community repositories, cryptographically signed by library authors
  ☆33Updated last week
• haesbaert / charrua-unix
  A DHCP server for UNIX systems based on charrua-core.
  ☆11Updated 8 years ago
• ocaml-opam / Camelus
  Bot posting reports on opam-repository pull-request using a web hook
  ☆18Updated 5 years ago
• fxfactorial / valentine
  HTML validation on command line
  ☆18Updated 5 years ago
• ygrek / ocaml-ssb
  OCaml implementation of Secure Scuttlebutt protocol
  ☆12Updated 6 years ago
• let-def / ocamp
  Reactive programming… in the shell
  ☆30Updated 7 years ago
• ocaml-doc / octavius
  ocamldoc comment syntax parser
  ☆19Updated 5 years ago
• yomimono / autoci
  automatic ci configuration for the people
  ☆35Updated 5 years ago
• mirleft / ocaml-x509
  X509 (RFC5280) handling in OCaml
  ☆52Updated last month
• Gbury / ocaml-cgroups
  OCaml interface to cgroups
  ☆20Updated 2 years ago
• juergenhoetzel / ocaml-systemd
  OCaml module for native access to the systemd facilities
  ☆21Updated 2 years ago
• talex5 / get-activity
  collect activity and format as markdown for a journal
  ☆18Updated 3 years ago
• backtracking / functory
  a distributed computing library for OCaml
  ☆24Updated last year
• robur-coop / ocaml-letsencrypt
  ☆32Updated 3 months ago
• mirage / emile
  & images
  ☆32Updated 4 months ago
• madvagabond / ocaml-balancers
  A client side load balancing library for ocaml
  ☆18Updated 6 years ago
• jonludlam / ocaml-iso-filesystem
  Library for manipulating ISO images
  ☆12Updated 5 years ago
• dbuenzli / rresult
  Result value combinators for OCaml
  ☆37Updated last year
• cfcs / passmenage
  Basic password manager library and command-line application in OCaml
  ☆12Updated 7 years ago
• mirage / wodan
  A Mirage filesystem library
  ☆43Updated 3 years ago
• yomimono / example-unikernels
  Small example MirageOS unikernels.
  ☆15Updated 5 years ago
• samoht / toc
  Automatically generate table of contents for Markdown files
  ☆17Updated 2 years ago
• tarides / river
  A planet (feed aggregator) for OCaml.
  ☆28Updated 6 months ago
• laudiacay / noise-wireguard-ocaml
  wireguard but this time it's in ocaml
  ☆1Updated 5 years ago
• cfcs / mirage-framebuffer
  Experimental portable bitmap framebuffer graphics for MirageOS
  ☆17Updated 4 years ago