Alternatives and similar repositories for ocaml-certify

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

• mirage / ptt
  Postes, Télégraphes et Téléphones
  ☆28Updated 3 months ago
• haesbaert / charrua-unix
  A DHCP server for UNIX systems based on charrua-core.
  ☆11Updated 8 years ago
• robur-coop / conex
  establish trust in community repositories, cryptographically signed by library authors
  ☆37Updated this week
• 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
• yomimono / autoci
  automatic ci configuration for the people
  ☆35Updated 5 years ago
• mirage / emile
  & images
  ☆32Updated 9 months ago
• kayceesrk / irmin-datatypes
  A collection of functional, mergeable datatypes for Irmin
  ☆12Updated 8 years ago
• mor1 / ocaml-tftp
  ☆18Updated 9 years ago
• cfcs / passmenage
  Basic password manager library and command-line application in OCaml
  ☆12Updated 7 years ago
• dbuenzli / ptime
  POSIX time for OCaml
  ☆40Updated 2 months ago
• let-def / ocamp
  Reactive programming… in the shell
  ☆30Updated 7 years ago
• nojb / ocaml-imap
  Lwt-compatible IMAP4rev1 client library for OCaml
  ☆41Updated 4 years ago
• verbosemode / syslog-message
  OCaml parser for RFC 3164 Syslog messages
  ☆24Updated 2 years ago
• lcdunstan / reqtrace
  Requirement traceability tool for OCaml
  ☆13Updated 10 years ago
• jonludlam / ocaml-iso-filesystem
  Library for manipulating ISO images
  ☆12Updated 6 years ago
• dinosaure / facteur
  Send a mail in OCaml
  ☆16Updated 5 years ago
• mirage / ocaml-mbr
  A simple library for manipulating Master Boot Records
  ☆18Updated 7 months ago
• Octachron / harmatia
  "Prettify" ocaml compiler error messages
  ☆18Updated 7 years ago
• backtracking / functory
  a distributed computing library for OCaml
  ☆24Updated last year
• mirage / mirage-lambda
  An eDSL for MirageOS apps
  ☆20Updated 7 years ago
• Gbury / ocaml-cgroups
  OCaml interface to cgroups
  ☆20Updated 3 years ago
• abeaumont / ocaml-scrypt-kdf
  Scrypt key derivation function in pure OCaml as defined in https://tools.ietf.org/html/draft-josefsson-scrypt-kdf-04
  ☆17Updated 4 years ago
• talex5 / get-activity
  collect activity and format as markdown for a journal
  ☆18Updated 4 years ago
• robur-coop / traceroute
  MirageOS traceroute unikernel
  ☆17Updated 3 weeks ago
• mirage / functoria
  A DSL to invoke otherworldly functors
  ☆63Updated 3 years ago
• hannesm / tlsclient
  TLS client program
  ☆11Updated 5 years ago
• hannesm / gmap
  heterogenous Map over a GADT
  ☆42Updated 10 months ago
• ahf / ircd-scylla
  MirageOS IRC daemon.
  ☆14Updated 7 years ago
• robur-coop / ocaml-letsencrypt
  ☆32Updated 7 months ago