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 4 months ago
• haesbaert / charrua-unix
  A DHCP server for UNIX systems based on charrua-core.
  ☆11Updated 8 years ago
• samoht / mirage-seal
  Sealing local directories into Mirage Unikernels
  ☆27Updated 9 years ago
• mirage / emile
  & images
  ☆32Updated 10 months ago
• andreas / mirage-swim
  Membership protocol for Mirage unikernel clusters based on SWIM
  ☆18Updated 9 years ago
• nojb / ocaml-bt
  OCaml BitTorrent library and client
  ☆42Updated 3 years ago
• robur-coop / conex
  establish trust in community repositories, cryptographically signed by library authors
  ☆37Updated 3 weeks ago
• kayceesrk / irmin-datatypes
  A collection of functional, mergeable datatypes for Irmin
  ☆12Updated 8 years ago
• yomimono / autoci
  automatic ci configuration for the people
  ☆35Updated 6 years ago
• let-def / ocamp
  Reactive programming… in the shell
  ☆30Updated 8 years ago
• dbuenzli / ptime
  POSIX time for OCaml
  ☆42Updated 4 months ago
• mirage / ocaml-mbr
  A simple library for manipulating Master Boot Records
  ☆18Updated 8 months ago
• hannesm / gmap
  heterogenous Map over a GADT
  ☆42Updated 11 months ago
• nojb / ocaml-imap
  Lwt-compatible IMAP4rev1 client library for OCaml
  ☆41Updated 4 years ago
• talex5 / irmin-indexeddb
  An Irmin backend for a web browser's IndexedDB store
  ☆33Updated 11 months ago
• hannesm / tlsclient
  TLS client program
  ☆11Updated 5 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
• cryptosense / pkcs11
  OCaml bindings for the PKCS#11 cryptographic API
  ☆23Updated 2 years ago
• backtracking / functory
  a distributed computing library for OCaml
  ☆24Updated last year
• ocaml-opam / Camelus
  Bot posting reports on opam-repository pull-request using a web hook
  ☆17Updated 5 years ago
• aryx / xix
  Plan9 software ported to OCaml
  ☆35Updated last week
• cfcs / passmenage
  Basic password manager library and command-line application in OCaml
  ☆12Updated 7 years ago
• jonludlam / ocaml-iso-filesystem
  Library for manipulating ISO images
  ☆12Updated 6 years ago
• Octachron / harmatia
  "Prettify" ocaml compiler error messages
  ☆17Updated 7 years ago
• mirage / irmin-watcher
  Portable implementation of the Irmin Watch API
  ☆14Updated last year
• Leonidas-from-XIV / nosetup
  An automatic require loader for OCaml toplevels
  ☆19Updated 6 years ago
• ocaml-attic / obi
  OCaml Build Infrastructure
  ☆31Updated 5 years ago
• mirage / functoria
  A DSL to invoke otherworldly functors
  ☆63Updated 3 years ago
• mor1 / ocaml-tftp
  ☆18Updated 9 years ago
• talex5 / get-activity
  collect activity and format as markdown for a journal
  ☆18Updated 4 years ago