Alternatives and similar repositories for ProTIP:

Users that are interested in ProTIP are comparing it to the libraries listed below

• lcdunstan / reqtrace
  Requirement traceability tool for OCaml
  ☆13Updated 9 years ago
• aryx / xix
  Plan9 software ported to OCaml
  ☆25Updated 10 months ago
• yomimono / ocaml-certify
  Small command-line tools for making certificates with OCaml x509/nocrypto toolstack.
  ☆38Updated last year
• picty / parsifal
  Parsifal : an OCaml-based parsing engine
  ☆63Updated 4 years ago
• yomimono / example-unikernels
  Small example MirageOS unikernels.
  ☆15Updated 5 years ago
• laudiacay / noise-wireguard-ocaml
  wireguard but this time it's in ocaml
  ☆1Updated 5 years ago
• mirage / charrua
  A DHCP library in OCaml
  ☆55Updated 2 weeks ago
• ygrek / extunix
  Thin OCaml bindings to various low-level system APIs not covered by Unix module
  ☆54Updated 2 months ago
• effuse / profuse
  An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
  ☆30Updated 7 years ago
• ANSSI-FR / mabo
  MRT Parser
  ☆46Updated 5 years ago
• mirleft / tlstools
  some TLS utilities
  ☆17Updated 8 years ago
• ahf / ircd-scylla
  MirageOS IRC daemon.
  ☆14Updated 7 years ago
• mato / opam-rumprun
  OCaml 4.02 cross compiler for the rumprun unikernel stack
  ☆50Updated 9 years ago
• mirage / ocaml-tar
  Pure OCaml library to read and write tar files
  ☆56Updated this week
• gregtatcam / imaplet-lwt
  imaplet revamp with Lwt
  ☆19Updated 7 years ago
• robur-coop / udns
  [deprecated, developmeht moved to https://github.com/mirage/ocaml-dns] µDNS - an opinionated Domain Name System (DNS) library
  ☆55Updated 5 years ago
• mshinwell / libmonda
  Make OCaml native debugging awesome
  ☆32Updated 5 years ago
• ocaml-community / ISO8601.ml
  Parser and printer for date-times in ISO8601
  ☆29Updated last year
• mirage / mrmime
  What do you mean?
  ☆43Updated last week
• mor1 / mirage-vagrant-vms
  Packer and Vagrant images for building Mirage
  ☆26Updated 9 years ago
• mirleft / libnqsb-tls
  OCaml-TLS exposed to C
  ☆23Updated 7 years ago
• haesbaert / charrua-unix
  A DHCP server for UNIX systems based on charrua-core.
  ☆11Updated 7 years ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆103Updated this week
• hannesm / conex
  establish trust in community repositories, cryptographically signed by library authors
  ☆33Updated 3 months ago
• dinosaure / sirodepac
  Pack file encoder/decoder in OCaml
  ☆11Updated 7 years ago
• ixy-languages / ixy.ml
  OCaml rewrite of the ixy network driver
  ☆36Updated 3 years ago
• hannesm / tlsclient
  TLS client program
  ☆11Updated 4 years ago
• ygrek / opam-bundle
  small tool to create OCaml software bundles from OPAM packages, superseded by builtin functionality in opam 2
  ☆18Updated 9 years ago
• smimram / funk
  Functional kernel written in OCaml.
  ☆32Updated 11 years ago
• djs55 / ocaml-btree
  A b-tree implementation for Mirage BLOCK devices
  ☆15Updated 8 years ago