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
• mor1 / ocaml-tftp
  ☆18Updated 8 years ago
• andreas / mirage-swim
  Membership protocol for Mirage unikernel clusters based on SWIM
  ☆18Updated 8 years ago
• samoht / mirage-seal
  Sealing local directories into Mirage Unikernels
  ☆27Updated 8 years ago
• let-def / ocamp
  Reactive programming… in the shell
  ☆30Updated 7 years ago
• hannesm / conex
  establish trust in community repositories, cryptographically signed by library authors
  ☆33Updated 3 months ago
• mirage / ptt
  Postes, Télégraphes et Téléphones
  ☆28Updated 3 months ago
• Cumulus / Syndic
  RSS and Atom feed parsing
  ☆34Updated last year
• hcarty / mwt
  Medium weight threads - preemptive thread pools for Lwt
  ☆31Updated 3 years ago
• yomimono / autoci
  automatic ci configuration for the people
  ☆35Updated 5 years ago
• ygrek / ocaml-ssb
  OCaml implementation of Secure Scuttlebutt protocol
  ☆12Updated 5 years ago
• talex5 / irmin-indexeddb
  An Irmin backend for a web browser's IndexedDB store
  ☆34Updated last month
• Gbury / ocaml-cgroups
  OCaml interface to cgroups
  ☆20Updated 2 years ago
• samoht / toc
  Automatically generate table of contents for Markdown files
  ☆17Updated 2 years ago
• fxfactorial / hump
  Get an OCaml project up and running instantly.
  ☆9Updated 9 years ago
• ocaml-doc / octavius
  ocamldoc comment syntax parser
  ☆18Updated 4 years ago
• mirage / ocaml-tar
  Pure OCaml library to read and write tar files
  ☆56Updated 3 weeks ago
• ahf / ircd-scylla
  MirageOS IRC daemon.
  ☆14Updated 7 years ago
• haesbaert / charrua-unix
  A DHCP server for UNIX systems based on charrua-core.
  ☆11Updated 7 years ago
• ocaml-opam / Camelus
  Bot posting reports on opam-repository pull-request using a web hook
  ☆18Updated 4 years ago
• mirage / emile
  & images
  ☆32Updated last month
• madvagabond / ocaml-balancers
  A client side load balancing library for ocaml
  ☆18Updated 6 years ago
• fxfactorial / valentine
  HTML validation on command line
  ☆18Updated 5 years ago
• musha68k / chill-netcat
  UDP-only netcat implementation with OCaml / MirageOS
  ☆14Updated 7 years ago
• mirage / mirage-nat
  library for network address translation intended for use with mirage unikernels
  ☆32Updated 5 months ago
• oklm-wsh / MrMime
  What do you mean ?
  ☆29Updated 6 years ago
• cryptosense / pkcs11
  OCaml bindings for the PKCS#11 cryptographic API
  ☆22Updated 2 years ago
• dbuenzli / mu
  Declarative music for OCaml (unreleased)
  ☆26Updated 10 months ago
• mirleft / ocaml-x509
  X509 (RFC5280) handling in OCaml
  ☆52Updated 2 months ago
• dbuenzli / rresult
  Result value combinators for OCaml
  ☆37Updated last year