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
• let-def / ocamp
  Reactive programming… in the shell
  ☆30Updated 7 years ago
• samoht / mirage-seal
  Sealing local directories into Mirage Unikernels
  ☆27Updated 8 years ago
• haesbaert / charrua-unix
  A DHCP server for UNIX systems based on charrua-core.
  ☆11Updated 7 years ago
• mirage / ptt
  Postes, Télégraphes et Téléphones
  ☆27Updated 2 months ago
• andreas / mirage-swim
  Membership protocol for Mirage unikernel clusters based on SWIM
  ☆18Updated 8 years ago
• ocaml-doc / octavius
  ocamldoc comment syntax parser
  ☆18Updated 4 years ago
• ocaml-opam / Camelus
  Bot posting reports on opam-repository pull-request using a web hook
  ☆18Updated 4 years ago
• yomimono / autoci
  automatic ci configuration for the people
  ☆35Updated 5 years ago
• hannesm / conex
  establish trust in community repositories, cryptographically signed by library authors
  ☆33Updated 2 months ago
• dbuenzli / ptime
  POSIX time for OCaml
  ☆37Updated 4 months ago
• Gbury / ocaml-cgroups
  OCaml interface to cgroups
  ☆20Updated 2 years ago
• hannesm / gmap
  heterogenous Map over a GADT
  ☆42Updated last month
• dbuenzli / rresult
  Result value combinators for OCaml
  ☆37Updated last year
• fxfactorial / hump
  Get an OCaml project up and running instantly.
  ☆9Updated 8 years ago
• laudiacay / noise-wireguard-ocaml
  wireguard but this time it's in ocaml
  ☆1Updated 5 years ago
• dinosaure / cri
  IRC protocol in OCaml
  ☆24Updated last year
• talex5 / get-activity
  collect activity and format as markdown for a journal
  ☆18Updated 3 years ago
• robur-coop / ocaml-letsencrypt
  ☆32Updated last month
• backtracking / functory
  a distributed computing library for OCaml
  ☆24Updated 11 months ago
• fxfactorial / valentine
  HTML validation on command line
  ☆18Updated 5 years ago
• verbosemode / syslog-message
  OCaml parser for RFC 3164 Syslog messages
  ☆24Updated last year
• ygrek / ocaml-ssb
  OCaml implementation of Secure Scuttlebutt protocol
  ☆12Updated 5 years ago
• rudenoise / mirage-dashboard
  A dashboard displaying useful data from MirageOS project and its related repositories.
  ☆12Updated 8 years ago
• hcarty / mwt
  Medium weight threads - preemptive thread pools for Lwt
  ☆31Updated 3 years ago
• tokenrove / tsdl-image
  OCaml SDL2_image bindings to go with Tsdl
  ☆14Updated 3 years ago
• mlin / forkwork
  OCaml library for forking child processes to perform work on multiple cores
  ☆19Updated 5 years ago