Alternatives and similar repositories for ocaml-certify

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

• andreas / mirage-swim
  Membership protocol for Mirage unikernel clusters based on SWIM
  ☆18Updated 9 years ago
• robur-coop / conex
  establish trust in community repositories, cryptographically signed by library authors
  ☆36Updated 3 months ago
• haesbaert / charrua-unix
  A DHCP server for UNIX systems based on charrua-core.
  ☆11Updated 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 9 years ago
• yomimono / autoci
  automatic ci configuration for the people
  ☆35Updated 5 years ago
• kayceesrk / irmin-datatypes
  A collection of functional, mergeable datatypes for Irmin
  ☆12Updated 8 years ago
• mirage / mirage-lambda
  An eDSL for MirageOS apps
  ☆20Updated 7 years ago
• mirage / functoria
  A DSL to invoke otherworldly functors
  ☆63Updated 3 years ago
• verbosemode / syslog-message
  OCaml parser for RFC 3164 Syslog messages
  ☆24Updated 2 years ago
• robur-coop / traceroute
  MirageOS traceroute unikernel
  ☆17Updated 2 weeks ago
• nojb / ocaml-imap
  Lwt-compatible IMAP4rev1 client library for OCaml
  ☆41Updated 4 years ago
• cfcs / passmenage
  Basic password manager library and command-line application in OCaml
  ☆12Updated 7 years ago
• ocaml-attic / obi
  OCaml Build Infrastructure
  ☆31Updated 5 years ago
• nojb / ocaml-bt
  OCaml BitTorrent library and client
  ☆41Updated 3 years ago
• mirage / emile
  & images
  ☆32Updated 8 months ago
• robur-coop / ocaml-letsencrypt
  ☆32Updated 6 months ago
• mirage / ptt
  Postes, Télégraphes et Téléphones
  ☆28Updated last month
• mor1 / ocaml-tftp
  ☆18Updated 9 years ago
• backtracking / functory
  a distributed computing library for OCaml
  ☆24Updated last year
• dbuenzli / ptime
  POSIX time for OCaml
  ☆40Updated last month
• talex5 / irmin-indexeddb
  An Irmin backend for a web browser's IndexedDB store
  ☆34Updated 8 months 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
• lcdunstan / reqtrace
  Requirement traceability tool for OCaml
  ☆13Updated 10 years ago
• smimram / funk
  Functional kernel written in OCaml.
  ☆34Updated 11 years ago
• jonludlam / ocaml-iso-filesystem
  Library for manipulating ISO images
  ☆12Updated 6 years ago
• cryptosense / pkcs11
  OCaml bindings for the PKCS#11 cryptographic API
  ☆22Updated 2 years ago
• ocaml-opam / Camelus
  Bot posting reports on opam-repository pull-request using a web hook
  ☆18Updated 5 years ago
• hannesm / gmap
  heterogenous Map over a GADT
  ☆42Updated 8 months ago
• mirage / irmin-watcher
  Portable implementation of the Irmin Watch API
  ☆14Updated last year